1832 geologists have discovered 6366 rocks.

Of course, we keep searching...