-
Guillaume Melquiond authored
In particular, they are now sufficient to prove that the difference of two nonnegative floating-point numbers do not overflow.
c587be38
In particular, they are now sufficient to prove that the difference of two nonnegative floating-point numbers do not overflow.