JSON: allow NaN