Fixed their JSON exporter so that it doesn't export invalid JSON for Infinity and NaN.