[issue4258] Use 30-bit digits instead of 15-bit digits for Python integers.

[Martin v. Löwis]

Martin v. Löwis <martin at v.loewis.de> added the comment:

> Obviously use the optimized version (but fix the configure stuff).

Before such a version gets committed, I'd like to see it on Rietveld
again.

_______________________________________
Python tracker <report at bugs.python.org>
<http://bugs.python.org/issue4258>
_______________________________________