An account of some of the issues that arose during the development of IEEE 754 arithmetic may be found at http://HTTP.CS.Berkeley.EDU/~wkahan/ieee754status/754story.html Thanks to Doug Priest for pointing it out. The reference to "David Anderson" is a misprint for David Stevenson, who served as p754 chair for the latter part of the project.