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

[Robert Schuppenies]

Changes by Robert Schuppenies <robert.schuppenies at gmail.com>:


----------
nosy: +schuppenies

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