half(f64) < i64
