How did the total amount of this coin increase by 800 million all of a sudden? Wasn't it always 3.8 billion before?