So what's the actual supply of this coin?  I heard while it officially may be 25B, up to 1/2 may have been "lost."