The text e62d9b6cd98c, as Debian 12 (Bookworm) shipped it.
Convert fp32 to 64 bit floating point
function::fp32_to_fp64(3stap) on Linux now
