Can someone remind me how many coins there will be. What is the max supply and what will be in circulation?