JSON formatter does not properly handle large 64-bit integers

[codon]

Given the input JSON {"id": 3227399403801874432} I expect the same integer value after running Format JSON.

Instead, the result shows "id": 3227399403801874400.