The text 04239eb5f5ea, as Debian 11 (Bullseye) shipped it.
Multiply x by 2 to the power k.
ldexp(3clc) on Linux now
