d2b
b = d2b(dval(&d), &be, &bbits);
extern Bigint *d2b ANSI((double, int*, int*));
d2b
bb = d2b(dval(&rv), &bbe, &bbbits); /* rv = bb * 2^bbe */
b = d2b(dval(d), &e, &bdif);
rvb = d2b(dval(&rv), &rve, &rvbits); /* rv = rvb * 2^rve */
ab = d2b(dval(&adj), &abe, &abits);