pub type Coin = BigNum;