f64 >= f32 - f32
