Surely they made the decision to IPO back when BTC was half of what it is now.