- Floating point numbers which do not begin with a digit, but with a decimal point, are now processed correctly.
Authored by: obarthel 2015-04-24
Parent: [r531]
Child: [r533]
