i32 * (i32 - f64)
