Plus, even if it was that kind of nuclear-proof, all that really means is that it can take the pressure of nuclear explosion over its body. Devices based on point pressure, like the kind used in anti-armor rounds or bunker buster bombs, can and do punch through nuclear-hardened targets.
JSON numeric encoding is perfectly capable of precise encoding to arbitrary decimal precision. Strings are easier if you don’t want to fuck around with the parser, though.