DBL_BIGDIG       6111 bignum.c           ex -= 2 * DBL_BIGDIG * BITSPERDIG;
DBL_BIGDIG       6133 bignum.c           ey -= DBL_BIGDIG * BITSPERDIG;