[SJSAMPLE]

Is there that much uranium that's been mined, EVER?
That sounds like A LOT of uranium?

[conservativewasp]

It's not enriched, just the raw stuff called yellowcake

[AFreeBird]

IIRC: I don't think it was processed uranium, but uranium ore.

And if you consider that uranium is one of the heavier metals, 500 tons probably isn't all that much.