The text e80c5c25901d, as FreeBSD 10.2-RELEASE shipped it.
classify a floating-point number
isnormal(3) on FreeBSD now
