f64 + 0.5 / f32
