I am a big holder of btd and I am definitely willing to give some up for a dev fund.

10.9 million coins right now. The max coins are irrelevant because it is a PoS coin, if you stake them, you lose nothing to inflation because you are the one receiving the newly minted coins.