i * (i32 - f64)
