coerce to a number
Major Section:  ACL2-BUILT-INS

Fix simply returns any numeric argument unchanged, returning 0 on a non-numeric argument. Also see nfix, see ifix, and see rfix for analogous functions that coerce to a natural number, an integer, and a rational number, respectively.

Fix has a guard of t.

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