f64 >= i32 + f32
