Adds integer-tag? predicate.