If you want to mint a coin then you should cast a die