Re: [Json] REMINDER - WGLC Ends 2013-10-11

[Carsten Bormann <[e-mail]>]

On Oct 11, 2013, at 23:06, "Jim Schaad" <[e-mail]> wrote:

> 4.  The following is technically a change in the grammar, however is there a
> reason why an integer cannot be 00, but 1E00 is legal? 

Many floating point formatters by default spit out something like 1.23e+08:

>> "%g" % 1.23e8
=> "1.23e+08"

>>> "%g" % 1.23e8
'1.23e+08'

#include <stdio.h>
int main() {printf("%g\n", 1.23e8); return 0;}
1.23e+08

We would make it harder*) to produce JSON for those implementations.

More importantly, there is lots of canned JSON out there that looks this way.

>  Do we want to change
> the definition of the exponent so that it matches that of integer?

Certainly not.

Grüße, Carsten


*) inspect.sub(/(e[+-])0+/) {$1}
(I happen to have written this line exactly two months ago as part of making some output bitwise identical with the output of some JavaScript code.)