Make treatment of JSON data more lenient

String values in JSON data that can be interpreted as numbers are now
converted to numeric JavaScript values.