pub fn u128_lo(u: u128) -> u64