add: preIntegerCheck strategy for std over Z
bla bla bla