Supports my recollection that about 20% was maintained in internal treasury. That's ~$200mm of value in the coin itself, which by the way, does not trade on US exchanges from what I can tell (nor Binance).
Lots of room for appreciation as the story gets appreciated.