The HBD in the DAO doesn't count toward the haircut rule, so in reality there are only about 9M HBD circulating or in savings (those do count).