### FIX

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.