@manual{ieee:1985:bfa,
       key = {IEEE},
      year = {1985},
     title = {IEEE Standard for Binary Floating-Point Arithmetic},
organization = {The Institute of Electrical and Electronics Engineers},
      note = {ANSI/IEEE Std 754-1985. Reprinted in {\it ACM SIGPLAN Notices} v. 22, no. 2 (1987), pp. 9–25},
     links = {\URL[FullText]{http://portalparts.acm.org/30000/24686/fm/frontmatter.pdf}},
      isbn = {1-5593-7653-8;0-7381-1165-1}}