Is there a final distribution? I thought the distribution is done. 1st round was 470(?), 2nd round 330 (?), I don't remember the exact numbers, this adds to about 800 mils, plus 200 in the lost wallet, that's about 1 billion. People can do more detailed counting, but approximately this is the balance from what I read.
I think it will help if dev provides a detailed balance sheet. I am sure most have been distributed. Maybe there's a little left...