Json objects of type double with the value NaN could cause undefined behavior when casting double to int in `json_object_get_int`.