[gambit-list] Computing a billion decimal digits of pi