Major Section: REAL

(I-close x y) is true if and only if x-y is an infinitesimal number. This predicate is only defined in ACL2(r) (see real).

(I-close x y)

x-y