integer.sign

pure function sign(): integer

Returns the sign of the integer: -1 if negative, 0 if zero, and 1 if positive.

It holds that for all x, x == x.sign() * x.abs().

Since 0.6.0