{-# htermination signum :: Num a => a -> a #-}