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