Fix handling of floats with multiple leading zeroes (#4065)

(cherry picked from commit a3500cc33a)
This commit is contained in:
Daniel Nelson
2018-04-23 13:29:49 -07:00
committed by Daniel Nelson
parent a877b06d74
commit 29bdb324d6
3 changed files with 15712 additions and 14997 deletions

View File

@@ -122,7 +122,7 @@ unsigned =
( digit | ( non_zero_digit digit* ) );
number =
( integer ( '.' digit* )? ) | ( '.' digit* );
'-'? (digit+ ('.' digit*)? | '.' digit+);
scientific =
number 'e'i ["\-+"]? digit+;