[gambit-list] fast deterministic random number generation