NAME

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

SYNOPSIS

           fp32_to_fp64:long(input:long)

ARGUMENTS

       input
           a long integer

DESCRIPTION

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

SEE ALSO

       tapset::floatingpoint(3stap)