f64 <= f32 - 0.5
