Issue #26719: More efficient formatting of ints and floats in json.
2 files changed