-
Guillaume Melquiond authored
The sum of two positive (resp. negative) FP numbers should always be positive (resp. negative), even when the result is zero. This commit also cleans a bit some other parts of the specification of FP operations.
62ff8e5b