i64 * f32 >= i64
