Originally Posted by orlok

I know some of this, having grown up for part of my childhood in South Africa and Zimbabwe. The rough diamond was about 3100 carats, and the polished gem was about 500 carats. May not be withing the requisite nearest 10 though...