Circle IPOing probably got them a higher valuation than if they had launched a token