(f64 + i32) * f32
