Fix Json decoding

Closes #90.  Thanks to Amit Levy for the report.
See also #79, #80, #81, and #83.   Looks like CPP was needed after all.