string(f32 >= f32)
