The text fb4ef3a741df, as Debian 10 (Buster) shipped it.
convert ASCII string to floating-point number
strtod(3) on Linux now
