recFNToFN

in hardfloat_sys

extern entity recFNToFN<#uint expWidth, #uint sigWidth>(in: uint<{expWidth + sigWidth + 1}>, out: inv &uint<{expWidth + sigWidth}>);

Description taken from the Berkeley Hardfloat documentation:

Converts back from a recoded format to standard format.