Add dump options for control over less interesting values.
Fix decimal display of floating point values in json
Check status code from formatting and output functions in json_writer