[Python-ideas] Re: Integer infinity and extended integers