Fix JSON encoding of large integers

[vera-rubin]

CELJSONEncoder emits 9007199254740993 as a JSON number, but CEL's JSON mapping requires the decimal string "9007199254740993" for integers outside ±(2⁵³−1). On main (22158f8), run:

python -m celpy -n '9007199254740993'

We convert large CEL integers to strings during the encoder's existing recursive walk, keeping values inside the range as numbers.

We tested signed and unsigned boundaries at the top level and in nested lists and maps, and ran the unit suite and doctests.

— ChipLab

[linux-foundation-easycla]

• ❌ - login: @vera-rubin / name: vera-rubin. The commit (5093ead) is not authorized under a signed CLA. Please click here to be authorized. For further assistance with EasyCLA, please visit our EasyCLA portal and chat with our support bot.