pub fn u128_hi(u: u128) -> u64