The text 1ae65ca1bb5b, as Debian 7 (Wheezy) shipped it.
multiply floating-point number by integral power of radix
scalbn(3) on Linux now
