[Python-Dev] Re: long number multiplication