half(f64) > max(i64)
