The text efc27feb63f0, as Debian 8 (Jessie) shipped it.
test sign of a real floating-point number
signbit(3) on Linux now
