That's pre Bitcoin inflation. Its probably valued over a billion USD now, assuming they kept a decent chunk of the BTC in BTC.