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.
I don't know why you think Satoshi has lost his keys. He has been very systematic with everything else so I'd guess he still has his keys too.