Fpu_dblp2
Dbl_decrement(Fpu_dblp1(target),Fpu_dblp2(target));
dbl_denormalize(&Fpu_dblp1(target),&Fpu_dblp2(target),
Dbl_setoverflow(Fpu_dblp1(target),Fpu_dblp2(target));