pub fn I128_from_I16(x: I16) -> I128