pub fn i128_lo(i: i128) -> u64