> Almost all JSON consumers are either deserializing to a spec that already contains type information
But different languages interpret different strings in different ways by default.
This leads to major bugs.
One of the great strengths of JSON is that parsing a number is well-defined.
The way you're suggesting would lead to people emitting JSON with leading zeros sometimes, and then some languages end up interpreting certain numbers as octal.
No thank you.