[math-fun] How random are (real) dice?