JSON has no standard way of encoding NaNs. I'm never sure if this is a bug or a feature.