JSON double value decimal places


I’d like to control the number decimal places generated for double values in the JSON formatter. Values generated programmatically often lead to using the full 20 decimal places (e.g, 1.0500000000000000444 when I’d be happy with 1.05 for many use-cases).

I’ve attached a patch, which is what I’m using in my fork.

json-decimal-places.diff.txt (6.9 KB)