Original: As of 2006, over 6,400 species of harvestmen have been discovered worldwide, although the real number of extant species may exceed 10,000.
Simplified: More than 6,400 species of harvestmen have been discovered, although the real number of extant species may exceed 10,000.