half(f64) <= i64
