each card type does have a fixed number, 13, 13, 26.
the unused cards are just sent to an out of bounds graveyard.
fire extinguishers shuffle cards in and out of that graveyard.
tho i never got around to visualizing it.