abs x * signum x == x
>>> signumInteger 5 1
>>> signum 5 1
> signum' xx' signum x' :: Int
> evl (signum' minusTwo) :: Int -1
> signumE signum :: Int -> Int