But this number isn't a matter of market volume, is it?
It's a matter of what analysts, regulators, banks, and investors choose.
And they appear to not be that keen on a valuation that high, judging by the press.
In quite a lot of sectors, gambling on a prediction market for an outcome you can influence is frowned upon, unethical, even illegal.
To be clear, I am talking about the investment analysts who have a role in setting the IPO price, which is a (then-private) decision, not an outcome of a market. It would almost certainly be a crime for the analysts involved in pricing an IPO to make prediction market bets.