How did the total supply of EOS $EOS change to 2.1 billion? I remember it was still 1.5 billion a while ago. Does anyone know what's going on with the supply of EOS?