The text e1a41d3d677a, as Debian 5.0 (Lenny) shipped it.
floating point number manipulation
nextafter(3) on Linux now
