half(f64) >= i
