According to the block explorer, 385M or so coins have been mined: https://explorer.leacoin.org/

According to the rich list, the top 100 addresses possess just over 514M coins, as of this writing. It was around 505M earlier today: https://explorer.leacoin.org/richlist

Any ideas on the cause of this discrepancy?