I got a 30% discount code, 30% of 23 is 6.9 so would that be 16 or 17 coins after discount?