[gambit-list] Gambit versus Python+GMP: Timing for Chudnovskys' algorithm for pi