fix toJSON for number precision issue

```javascript
// test for RJSONIO toJSON precision issue
h.parseEvalQ("json = toJSON(1234687.796545568, digits=Inf)")
json  = h.get('json')
json = JSON.parse(json)
console.log(json)
````