(("A" . "http://754r.ucbtest.org/standards/754xml.html#recommended-functions")
 ("8.2" . "http://754r.ucbtest.org/standards/754xml.html#precedence")
 ("8.1" . "http://754r.ucbtest.org/standards/754xml.html#trap-handler")
 ("8" . "http://754r.ucbtest.org/standards/754xml.html#traps")
 ("7.5" . "http://754r.ucbtest.org/standards/754xml.html#inexact-exception")
 ("7.4" . "http://754r.ucbtest.org/standards/754xml.html#underflow-exception")
 ("7.3" . "http://754r.ucbtest.org/standards/754xml.html#overflow-exception")
 ("7.2"
  . "http://754r.ucbtest.org/standards/754xml.html#div-by-zero-exception")
 ("7.1" . "http://754r.ucbtest.org/standards/754xml.html#invalid-exception")
 ("7" . "http://754r.ucbtest.org/standards/754xml.html#exceptions")
 ("6.3" . "http://754r.ucbtest.org/standards/754xml.html#sign-bit")
 ("6.2" . "http://754r.ucbtest.org/standards/754xml.html#nan-arith")
 ("6.1" . "http://754r.ucbtest.org/standards/754xml.html#inf-arith")
 ("6" . "http://754r.ucbtest.org/standards/754xml.html#inf-nan-sign")
 ("5.7" . "http://754r.ucbtest.org/standards/754xml.html#comparison")
 ("5.6" . "http://754r.ucbtest.org/standards/754xml.html#decimal-conversions")
 ("5.5" . "http://754r.ucbtest.org/standards/754xml.html#round-fp-value")
 ("5.4" . "http://754r.ucbtest.org/standards/754xml.html#fp-to-int")
 ("5.3" . "http://754r.ucbtest.org/standards/754xml.html#fp-conversions")
 ("5.2" . "http://754r.ucbtest.org/standards/754xml.html#square-root")
 ("5.1" . "http://754r.ucbtest.org/standards/754xml.html#arithmetic")
 ("5" . "http://754r.ucbtest.org/standards/754xml.html#operations")
 ("4.3" . "http://754r.ucbtest.org/standards/754xml.html#rounding-precision")
 ("4.2" . "http://754r.ucbtest.org/standards/754xml.html#directed-roundings")
 ("4.1" . "http://754r.ucbtest.org/standards/754xml.html#round-to-nearest")
 ("4" . "http://754r.ucbtest.org/standards/754xml.html#rounding")
 ("3.4" . "http://754r.ucbtest.org/standards/754xml.html#combining-formats")
 ("3.3" . "http://754r.ucbtest.org/standards/754xml.html#extended-format")
 ("3.2" . "http://754r.ucbtest.org/standards/754xml.html#basic-formats")
 ("3.1" . "http://754r.ucbtest.org/standards/754xml.html#values")
 ("3" . "http://754r.ucbtest.org/standards/754xml.html#formats")
 ("2" . "http://754r.ucbtest.org/standards/754xml.html#defs")
 ("1.3" . "http://754r.ucbtest.org/standards/754xml.html#exclusions")
 ("1.2" . "http://754r.ucbtest.org/standards/754xml.html#inclusions")
 ("1.1" . "http://754r.ucbtest.org/standards/754xml.html#impl-obj")
 ("1" . "http://754r.ucbtest.org/standards/754xml.html#scope"))