Re: [pypy-dev] [pypy/pypy] rbigint.py improvements (pull request #72)