The text f60e94b60f64, as Debian 7 (Wheezy) shipped it.
multiply floating-point number by integral power of 2
ldexpf(3) on Linux now
