recognize more numbers: 1e-10, 1.e3
Authored by: Jean-Francois Dockes 2010-05-17
Parent(s): [fbbb11]
Child(ren): [f115dc]