The dice are based on high quality random numbers from Random.org. The numbers are read from a large file containing columns of numbers from 1 to 6, in the format A1 A2 A3 D1 D2. When the dice are rolled, the game engine reads a line from the file and discards it. The appropriate numbers are used ...