The theoretical format would have to represent the more-specific numbers using strings, e.g. if we want to mimic the edn:

    {"#ieee754/b64": "123.45"}

Nevermind that this takes up way more space, and whatever other problems.

If an intermediate parser encounters this, we don't have to worry about its representation of JSON numbers, because our numbers don't involve JSON's.