1 + 0.5 <= f64 / f32
