Counting future coins and ignoring lost coins, yes.
I was having ChatGPT do the math, it seems to think 16t if considering lost coins
Sounds about right.