Does anyone know what the total supply of tezos Coin? I want to see if it has great potential at being a 100 dollar plus coin since there was so much hype on this coin.