IFIX.html -- ACL2 Version 6.3

### IFIX

coerce to an integer

    Major Section:  ACL2-BUILT-INS

`Ifix` simply returns any integer argument unchanged, returning `0` on a non-integer argument. Also see nfix, see rfix, see realfix and see fix for analogous functions that coerce to a natural number, a rational number, a real, and a number, respectively.

`Ifix` has a guard of `t`.

To see the ACL2 definition of this function, see pf.