greet(type(f64 / i))
