So does anyone know how many coins are going to be mined total? Is it in the tens of millions or hundreds?