{-# htermination showsPrec :: Int -> Float -> String -> String #-}