This behaviour is by design. Int wraps. ( Int might be 64 bits, but will always be bounded. )

signum and abs is not tested.

But in case you are wondering, the math answer for diff signum should be:

diff signum 0 = undefined
diff signum _ = 0