[Python-Dev] Re: IntEnum, IntFlag, and the stdlib