How much is the total supply? I only care about the current circulating total supply.