greet(type(f32))
