Re: Integer division revisited (was Re: [Python-Dev] Gradual migration)