The text 9ce7c019033d, as Debian 3.1 (Sarge) shipped it.
floating-point classification macros
fpclassify(3) on Linux now
