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