I considered updating jsonlogger.c to represent NaN as "null" in the JSON. However, this makes the hand-written JSON generator much more complicated.
We might get (unexpected) input which is outside of the usual range.