function::fp32_to_fp643stap
Convert fp32 to 64 bit floating point
Usage
fp32_to_fp64:long(input:long)
Arguments
input
a long integer
Overview
Convert from 32 bit floating point to a 64 bit softfloat floating point.
See ALSO0
Releases
2 releases since Debian 12 (Bookworm); the text changed 1 time.