f64 - f32 + 1 + 0.5
