There are more coins provably lost.
As I said in my previous post, some coins were lost due to miners not claiming the block reward and some were lost due to the coinbase transactions having the same hash.