[Coin Stack 001] abstract number programming