The protocol’s 21 million cap, actual mined supply, circulating estimates, and coins presumed permanently inaccessible are separated out clearly: how many bitcoins are there.