Major Section: ACL2-BUILT-INS
(int= x y) is logically equivalent to (equal x y).
Unlike equal, int= requires its arguments to be numbers (or
else causes a guard violation; see guard). Generally, int=
is executed more efficiently than equal or = on integers.