if DGEX says he lost 800k Nxt and he owns 80 Mega, it means 1% of Nxt is probably lost: 10 Millions
some days ago i calculated the possible hiberNXT amount.
while it is difficult to calculate this (you have to set additional filters)
the rough amount was: 16 - 21m nxt.
no public key, only one transaction.
of course they could be very cold storages too.
ps: if you remove the one transation filter but keep the no public key, the amount was 160m
but it is unlikly that an account with more than 1 transaction is a lost transaction, even if this
account has no pk.
Im okay with using 160 million figure as the amount of hiberNXT it appears all along that the plan was for any account with no public key to be a bonus for the future additional source of 'mining' when in the future those accounts can be cracked. if those accounts are really cold storage you really need to secure them by making one transaction