{-# htermination readFloat :: RealFrac a => (String -> [(a,String)]) #-}