scalbln(3) on Linux
The text bb7d806c41f0, as Debian 6.0 (Squeeze) shipped it.
multiply floating-point number by integral power of radix
The text bb7d806c41f0, as Debian 6.0 (Squeeze) shipped it.
multiply floating-point number by integral power of radix