greet(toJSON(f32))
