f64 + f32 * i32
