add exactNumber function (quantifier)