Someone Counted (Almost) All the Coins in the Mario Series