half(f64) <= f64
