integer? in Machine, with evaluation tests