(i64 + i32) * f32
