Dbl_denormalize
Dbl_denormalize(opndp1,opndp2,exponent,guardbit,stickybit,inexact);
Dbl_denormalize(opnd3p1,opnd3p2,dest_exponent,guardbit,