half(f64) <= 0.5 + f64
