For the discussion above, i would posit that the number of truly "existing" bitcoins in the circulation is an unknowable number.
Yes, we know how many were "issued" aka mined, but all we know is currently unspent UTXOs.
We don't know if the last "owner" lost his/her key or not BEFORE they either sign the next txn or sign the message with the address signature.