yeah his total money supply if that is not shoped is about 1.474 billion coins.  makes my measly 32mil seem really insignificant, also means he holds close to 5% of all coins