Coming back to this:

Even if a mint were considered a casino, wouldn’t a casino need a license in order not to break the law?

And I would think the definition of a casino requires that there are games based on luck involved, rather than simply exchanging tokens for other purposes, like buying and selling things inside one as someone who isn’t associated with the casino.