[Python-ideas] Re: Really long ints