[Development] JSON 64 bit int

[Allan Sandfeld Jensen]

On Wednesday 11 February 2015, Marc Mutz wrote:
> If long double was any useful (apparently it's no larger than double on
> Windows), we could use that, but as it stands, that would be pointless.
> 
Apropos, the usefulness of extended precision floating point happens to be 
that they can represent both 64bit integers and 64bit floating point.

About JSON, would it make sense to allow these values in memory form but not 
write them?

We should probably parse more of the extensions (be forgiving in parsing, but 
strict in writing by default). There are quite a few for JSON, besides 64bit 
integer Datetime comes up often and has a few different hacks, with a semi-
standardized  solution in the Windows world.

`Allan