-0.5 <= f64 + f32
