DBL_WRAP
Deposit_dexponent(dbl_value,(exponent op DBL_WRAP))
exponent = Dbl_exponent(opndp1) - DBL_WRAP;