[gambit-list] uint16, uint32, etc.