scalbl(3) on Linux

The text ed8a7c93a000, as Debian 10 (Buster) shipped it.

multiply floating-point number by integral power of radix (OBSOLETE)

scalbl(3) on Linux now