JSON integer mangling

[nnposter <nnposter () users sourceforge net>]

The JSON library is using string.format() with %g to convert numbers.
This causes longer integers to be expressed in the scientific (exponent)
notation.

My suggestion is to switch to tostring() but there might a good reason
why it was not used in the library.

Details at https://github.com/nmap/nmap/issues/807

Cheers,
nnposter
_______________________________________________
Sent through the dev mailing list
https://nmap.org/mailman/listinfo/dev
Archived at http://seclists.org/nmap-dev/