nan -> null in JSON