f64 <= f64 - 0.5
