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