Mining tonnage question

[MonkeyX]

I’m looking through Highguard at the mining tables and it has a yield percentage listed for a large planetoids but not the actually tonnage, anyone know what a 12km radius planetoids tonnage would be?

 

[Geir]

If you mean a sphere and want displacement tons, then then the answer is about 517 billion.
If you mean a sphere and want actual tons (as in metric), then it's 7.238 trillion times the density of the rock, which would likely range between 0.8 and 8 depending on composition, voids, etc.

 

[MonkeyX]

I think mining is measured in displacement tons so that answer will do nicely, thank you.