What would an IPO be worth?