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