The text 9b26f6ee9d2c, as Debian 6.0 (Squeeze) shipped it.
test sign of a real floating-point number
signbit(3) on Linux now
