Re: [Python-Dev] Enumeration items: mixed types?