The text c0142c5bde58, as Debian 9 (Stretch) shipped it.
convert ASCII string to floating-point number
strtof(3) on Linux now
