The text 8520dc6cdd84, as Debian 5.0 (Lenny) shipped it.
floating-point multiply and add
-1
fmal(3) on Linux now
