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