1. IEEE standard for binary floating-point arithmetic, Std. 754–1985, IEEE, New York, 1985
2. W. Kahan, Lecture Notes on the Status of IEEE Standard 754 for Binary Floating-Point Arithmetic (1996), [http://http.cs.berkeley.edu/∼wkahan/ieee754status/ieee754.ps]