Yes. In particular, the cards that are never dealt out don't matter at all. So for example, in Texas Hold 'em with 9 players, you "only" deal out 23 cards, so w

Yes. In particular, the cards that are never dealt out don't matter at all. So for example, in Texas Hold 'em with 9 players, you "only" deal out 23 cards, so we have overcounted the number of possible decks by 29!