Put more verbs in the glossary about safe_arch HOT 3 CLOSED

Ordered vs Unordered comparisons
(answer from https://stackoverflow.com/questions/8627331/what-does-ordered-unordered-comparison-mean)
An ordered comparison checks if neither operand is NaN. Conversely, an unordered comparison checks if either operand is a NaN.

from safe_arch.

Fused operation
For example when calculating normally a * b + c (a, b, c are floats), there are two rounding operations:

• after a * b
• after adding c to previous result

Fusing these operations means only one rounding at the end is performed.
This happens because internally CPUs calculate with slightly higher precision

from safe_arch.

https://github.com/Lokathor/safe_arch/blob/master/nomoj.txt

from safe_arch.