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