add exactNumber function (quantifier)

adding quantifier