On Wed, 5 Oct 2016, David Feuer wrote:
> readsInt "12e" = [(12, "e")] --same
> readsInt "12e-" = [(12,"e-")] --same
> readsInt "12e-3" = [12,"e-3"] --more lenient
> readsInt ('a' : undefined) = [] --lazier
Sounds reasonable. I do not think that I ever used these partial parses
intentionally.