when the usd0++ stakers sell their usual coin reward in market for usdc isnt that going to the circulating supply?