{-# htermination shows :: Float -> String -> String #-}