[gambit-list] 64 bit gambit