function::fp32_to_fp64 - Convert fp32 to 64 bit floating point

input
           a long integer

       Convert from 32 bit floating point to a 64 bit softfloat floating point.

       function::fp32_to_fp64 - Convert fp32 to 64 bit floating point

tapset::floatingpoint(3stap)

SystemTap Tapset Reference                         April 2024                        FUNCTION::FP32_TO_FP(3stap)

           fp32_to_fp64:long(input:long)