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

This commit is contained in:
Daniel Nelson
2018-04-23 13:29:49 -07:00
committed by GitHub
parent 0bedc11d2d
commit b9c5e88c22
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+;