[Haskell-cafe] Proposal: Rational read

It has been suggested that (read "0.5" :: Rational) need not work because (show (0.5::Rational)) will never yield the string "0.5". In contrast, (read "1" :: Double) does work, even though (show (1::Double)) will never yield the string "1". The inconsistency is stark. Doug