The text 41c7e32fd81f, as Debian 7 (Wheezy) shipped it.
convert ASCII string to floating-point number
strtod(3) on Linux now
