Manually fixed JSON long values (#1).

The Firefox JSON formatter truncates long values -- I think it has
something to do with the way Javascript handles longs.  Consider a new
formatter, like http://www.freeformatter.com/json-formatter.html.