Actually, according to semux.info, it's a little over 25mil
Maybe 1.2 mil is the coins not locked on voting pools but that distinction is moot since it only takes a few seconds to unvote and spend them
That includes yet-to-be distributed airdrop funds, 'foundation' coins and founder premine.
I think its more like 5.5 distributed to users