{-# htermination signum :: Float -> Float #-}