i32 + f64 - f32 * 0.5
