So, exactly how many carrots is that?

Tom just sent me this, from Discovery News, on the universe's largest diamond. OK, so the article is actually about why there are no diamonds in the skies of Uranus or Neptune, but it does mention a "white dwarf star with a solid diamond core," which begs the question asked in the title of this post.