REALFIX.html -- ACL2 Version 6.3

### REALFIX

coerce to a real number

    Major Section:  ACL2-BUILT-INS

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

`Realfix` has a guard of `t`.

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