The text 0ed71674863e, as Debian 4.0 (Etch) shipped it.
multiply floating-point number by integral power of radix
scalbl(3) on Linux now
