greet(type(f64))
