asJSON.numeric: don't over-round large integers
toJSON: change default to digits=4
tests: small changes to digits/rounding for new system