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