Since a large portion comes from absorbing the value fiat currently has as a store of value, the devaluation is implicit. So, maybe those should be considered to be 43B devalued dollars.

I was mostly following the logic, but some of the specifics probably slipped past.