{-# htermination showSigned :: Real a => (a -> (String -> String)) -> Int -> a -> String -> String #-}