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.