And if you figure there's ~3 million coins that are lost/unspendable that's even less.