[Python-ideas] Really long ints