half(f64) < f64
