Is there that much uranium that's been mined, EVER? That sounds like A LOT of uranium?
It's not enriched, just the raw stuff called yellowcake
And if you consider that uranium is one of the heavier metals, 500 tons probably isn't all that much.