puresymbolic for integers seems to work