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