Re: [Python-Dev] Changing the Division Operator -- PEP 238, rev 1.12