f32 >= i + f64
