Whatever Satoshi has mined is lost for ever. These coins have never been moved, and I think that Satoshi has lost the private keys of all these wallets. So the real number may be somewhere around BTC2,000,000.