use more digits when formatting JSON

Prevent RJSONIO from rounding numbers by specifying digits=50.  By default the JSON output is rounded to five significant digits, e.g. 1234567 becomes 1234600.