The text a9f1c0da153d, as FreeBSD 6.3-RELEASE shipped it.
IEEE standard 754 for floating-point arithmetic
ieee(3) on FreeBSD now
