Constant DEFAULT_NUM_COINS

pub const DEFAULT_NUM_COINS: u64 = 1;