Re: [Python-Dev] str(IntEnum)