[gambit-list] Number crunching