It's in the whitepaper. There are 250 million coins in total, and 37.5 million were sold in the ICO. I couldn't find any information on further distribution or monetary policy, so I assume the founders still hold them.