The random coin (SoupCoin)