The text 85cc68bd3bdb, as Debian 13 (Trixie) shipped it.
convert ASCII string to floating-point number
strtof(3) on Linux now
