Add procedures binary64-normalized-fraction
and binary64-exponent
#3233
Loading
binary64-normalized-fraction
and binary64-exponent
#3233