The text 4744f3d4f1e2, as FreeBSD 11.0-RELEASE shipped it.
IEEE floating point interface
fpgetmask(3) on FreeBSD now
