DP_EMAX
assert(xe <= DP_EMAX);
return builddp(xs, DP_EMAX + 1 + DP_EBIAS,
assert(ze <= DP_EMAX);
assert(xe <= DP_EMAX);
DPCNST(0, DP_EMAX + 1, 0x0000000000000ULL), /* + infinity */
DPCNST(1, DP_EMAX + 1, 0x0000000000000ULL), /* - infinity */
DPCNST(0, DP_EMAX + 1, 0x7FFFFFFFFFFFFULL), /* + ind legacy qNaN */
DPCNST(0, DP_EMAX + 1, 0x8000000000000ULL), /* + indef 2008 qNaN */
DPCNST(0, DP_EMAX, 0xFFFFFFFFFFFFFULL), /* + max */
DPCNST(1, DP_EMAX, 0xFFFFFFFFFFFFFULL), /* - max */
if (xe > DP_EMAX) {
return DPBEXP(x) != DP_EMAX + 1 + DP_EBIAS;
&& (bx) <= DP_EMAX + 1 + DP_EBIAS);
if (ve == DP_EMAX+1+DP_EBIAS) { \