Re: [Python-Dev] Unifying Long Integers and Integers: baseint