the dice , used in casinos