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