The text 0f0ba8606bbe, as Debian 9 (Stretch), Debian 8 (Jessie) shipped it.
Multiply x by 2 to the power k.
ldexp(3clc) on Linux now
