[Python-Dev] Re: Future division patch available (PEP 238)