f64 >= i64 * f64
