quantifier convert to int