Module Core_kernel.Robustly_comparable

This interface compares float-like objects with a small tolerance.

For example =. returns true if the floats are almost but not quite equal, and >. returns false if the floats are almost equal. The tolerance is intended to be about right for human-entered values like prices and seconds.