function::long_to_fp(3stap) on Linux

The text 6b60de06fc8a, as Debian 13 (Trixie) shipped it. The page shows this text now.

Convert long int to 64 bit floating point

function::long_to_fp(3stap) on Linux now