pub fn I128_from_I64(x: I64) -> I128