The text f5bbcb4b0ed7, as Debian 11 (Bullseye) shipped it.
Convert long int to 64 bit floating point
function::long_to_fp(3stap) on Linux now
