Re: [Python-Dev] Semantics of __int__(), __index__()