i64 * (f64 + f32)
