Reading Floats

Hi, I recently encountered something I found a bit peculiar when reading floats from strings. Leading zeroes seem okay, as long as there is no decimal point. To wit: Main> (map read ["1.0", "00000", "01", "01.0"]) :: [Float] [1.0,0.0,1.0,*** Exception: Prelude.read: no parse Neither is leading decimal point allowed: Main> (read ".01") :: Float *** Exception: Prelude.read: no parse Is this how it's supposed to be? -kzm -- If I haven't seen further, it is by standing in the footprints of giants