Thanks! I could also go with 18,446,744,073,709,551,615 cards if needed!
But I like the idea that at some point, even unlikely, the pool might get exhausted. A bit like a set of real printed cards: Once it's gone it's gone. This is still very hypothetical but I could imagine releasing a new set of cards using new game mechanics and improved generation algorithm in the (far) future.