Yup so the lost ones are effectively out of circulation. So in practice your portion of the available is greater. Like gold in a ship wreak at the bottom of the ocean, it exists, but can’t really be used in trade.