[gambit-list] Comparing gambit bignums with gmp 4.2.1