string(f64 >= f32)
