f64 * i32 > f64
