Re: [Python-Dev] binary operation heuristics -- bug or undocumented?