I-CLOSE

ACL2(r) test for whether two numbers are infinitesimally close
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).