string(f32 >= f64)
