1840 geologists have discovered 6377 rocks.

Of course, we keep searching...