The text be4116a514d5, as Debian 7 (Wheezy) shipped it.
convert string to number and report errors
explain_strtod_or_die(3) on Linux now
