[gambit-list] Bignum speed with different configuration options