it could always be worse.

for example, JavaScript numbers could’ve been 32-bit floats instead

@fasterthanlime the image is not true. JSON doesn't define number of bits, only implementations of JavaScript. But even so, 53 bits is still a lot :) That's still around 4.5x10^15