add stronger and random generation for integer-in