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