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