A modified json-lib that fixes a loss-of-precision issues introduced in 2.4