SP_EMAX
SPCNST(0, SP_EMAX + 1, 0x000000), /* + infinity */
SPCNST(1, SP_EMAX + 1, 0x000000), /* - infinity */
SPCNST(0, SP_EMAX + 1, 0x3FFFFF), /* + indef legacy quiet NaN */
SPCNST(0, SP_EMAX + 1, 0x400000), /* + indef 2008 quiet NaN */
SPCNST(0, SP_EMAX, 0x7FFFFF), /* + max normal */
SPCNST(1, SP_EMAX, 0x7FFFFF), /* - max normal */
if (ve == SP_EMAX+1+SP_EBIAS) { \
if (xe > SP_EMAX) {
return SPBEXP(x) != SP_EMAX + 1 + SP_EBIAS;
&& (bx) <= SP_EMAX + 1 + SP_EBIAS);
assert(xe <= SP_EMAX);
return buildsp(xs, SP_EMAX + 1 + SP_EBIAS,
assert(ze <= SP_EMAX);
assert(xe <= SP_EMAX);