I don't know how many coins the original dev had. The current supply is 12.8 million coins with only about 1 million on the market.