Message 82538 - Python tracker

Updated benchmarks results with 30bit_longdigit17.patch:

* Victor's bench_int.py:
- 32-bit with patch:    1178.3 ms (24% speedup)
- 64-bit with patch:    990.8 ms  (27% speedup)

* Calculating 2000 digits of pi:
- 32-bit with patch:    2.16 s. (25% speedup)
- 64-bit with patch:    1.5 s.  (55% speedup)

This is very good work.