half(f64) >= i64
