pub fn i128_hi(i: i128) -> i64