...
Bibliography
\[[IEEE 754|AA. Bibliography#IEEE 754 2006]\]
\[[IEEE ] Wiki Markup
[IEEE 1003.1, 2004|AA. Bibliography#IEEE 1003]\]
...
FLP03-C. Detect and handle floating point errors 05. Floating Point (FLP) FLP05-C. Don't use denormalized numbers