f64 + f32 - i64
