pub fn U128_from_U32(x: U32) -> U128