function::fp32_to_fp64 − Convert fp32 to 64 bit floating point
fp32_to_fp64:long(input:long)
input
a long integer
Convert from 32 bit floating point to a 64 bit softfloat floating point.
tapset::floatingpoint(3stap)