Anybody what the total supply of coins circulating?

I understood that around 648000 coins were sold during the ICO, but what about the other 49.5 million? Are they mined?