{-# htermination readFloat :: (String -> [((Ratio Int),String)]) #-}