Editing IEEE 754-1985 (section)

== Further reading ==
*{{cite journal
 |author       = Charles Severance
 |author-link  = Charles Severance (computer scientist)
 |title        = IEEE 754: An Interview with William Kahan
 |journal      = [[IEEE Computer]]
 |date         = March 1998
 |volume       = 31
 |issue        = 3
 |pages        = 114–115
 |doi          = 10.1109/MC.1998.660194
 |s2cid = 33291145
 |url          = http://www.freecollab.com/dr-chuck/papers/columns/r3114.pdf
 |access-date   = 2008-04-28
 |archive-url  = https://web.archive.org/web/20090823204921/http://www.freecollab.com/dr-chuck/papers/columns/r3114.pdf
 |archive-date = 2009-08-23
 |url-status   = dead
}}
* {{cite journal
 |     author = David Goldberg
 |      title = What Every Computer Scientist Should Know About Floating-Point Arithmetic
 |    journal = [[ACM Computing Surveys]]
 |date=March 1991
 |     volume = 23
 |      issue = 1
 |      pages = 5–48
 |        doi = 10.1145/103162.103163
 | s2cid = 222008826
 |        url = http://www.validlab.com/goldberg/paper.pdf
 | access-date = 2008-04-28
 }}
* {{cite journal
 |author       = Chris Hecker
 |title        = Let's Get To The (Floating) Point
 |journal      = Game Developer Magazine
 |date         = February 1996
 |pages        = 19–24
 |issn         = 1073-922X
 |url          = http://www.d6.com/users/checker/pdfs/gdmfp.pdf
 |archive-url  = https://web.archive.org/web/20070203082451/http://www.d6.com/users/checker/pdfs/gdmfp.pdf
 |archive-date = 2007-02-03
 |url-status   = dead
}}
* {{cite journal
 |     author = David Monniaux
 |      title = The pitfalls of verifying floating-point computations
 |    journal = [[ACM Transactions on Programming Languages and Systems]]
 |date=May 2008
 |      pages = 1–41
 |     volume = 30
 |      issue = 3
 |        doi = 10.1145/1353445.1353446
 |       issn = 0164-0925
 |        url = http://hal.archives-ouvertes.fr/hal-00128124/en/|arxiv = cs/0701192
 | s2cid = 218578808
 }}: A compendium of non-intuitive behaviours of floating-point on popular architectures, with implications for program verification and testing.