to_s128

Widens any integer to an S128, with sign extension.

to_s128 :: (a: $T) -> S128

x := to_s128(-1);
assert(x.high == -1);