NaN and undefined don’t seem to be allowed in pure JSON, but null is.