The text 8bc7209412b3, as FreeBSD 12.1-RELEASE shipped it.
IEEE floating point interface
fpgetmask(3) on FreeBSD now
