The text da4b2cd3eb7c, as FreeBSD 12.0-RELEASE shipped it.
IEEE floating point interface
fpgetsticky(3) on FreeBSD now
