[Python-ideas] Re: JSON Serializing UUID objects