[dotancohen]

But that problem is not inherent to JSON, which is a pain text encoding of those numbers.