I don't think it's a high number. It could be even higher imo. You have to remember that big big chunks of all coins were mined in the first few years. In 2010-2012 people used Bitcoin very differently - so much just got lost to people throwing their old laptops away.