f64 * (f32 + i32)
