The text 631d09844c4b, as Debian 6.0 (Squeeze) shipped it.
convert ASCII string to floating-point number
strtod(3) on Linux now
