Am I missing something (numberFormat again)

[Geoff Canyon]

Is there some way to change the default numberFormat? It consumed about
half my day today. I need precision for what I'm doing, and the six decimal
place default won't cut it. I was working on JSON import/export, and the
fact that the debugger also defaults to six decimal places makes it really
tedious to figure out where exactly you're losing precision. In the end, a
fit of frustration led to me putting

set the numberFormat to "0.##############"

at the start of about twenty handlers. Some combination of that fixed the
problem -- I still don't know where it was exactly. In any case I'm now
happily importing and exporting, on to rendering:

{

     "Titan": {

          "z8": .00000000,

          "dx-6": 0000000,

          "dz-6": 0000000,

          "name": "Titan",

          "radius": 2576000,

          "p": 0,

          "x8": 14267.25400000,

          "r": 0,

          "mass": 134520000000000000000000,

          "dp": 0,

          "dr": 0,

          "w": 0,

          "G8": 0.0008977649568,

          "dy-6": 0000000,

          "x": 1426725400000,

          "y8": 12.21870000,

          "y": 1221870000,

          "z": 00000000,

          "dw": 0,

          "dx": 0.000000,

          "dy": 0.000000,

          "dz": 0.000000},

     "Haumea": {

          "z8": .00000000,

          "dx-6": 0000000,

          "dz-6": 0000000,

          "name": "Haumea",

          "radius": 575000,

          "p": 0,

          "x8": 64840.00000000,

          "r": 0,

          "mass": 4010000000000000000000,

          "dp": 0,

          "dr": 0,

          "w": 0,

          "G8": 0.0000267620984,

          "dy-6": 0000000,

          "x": 6484000000000,

          "y8": .00000000,

          "y": 00000000,

          "z": 00000000,

          "dw": 0,

          "dx": 0.000000,

          "dy": 0.000000,

          "dz": 0.000000},

etc.