[Python-ideas] JSON Serializing UUID objects