Sort:  

Yep. Though some of those coins may be recovered at some point, so it's tough to know for certain how many will be removed from the supply total forever.