Re: [Python-Dev] Re: Future division detection