{-# htermination readsPrec :: Int -> String -> [(Float,String)] #-}