[Python-Dev] Advice on numbers.py implementation of binary mixins.