DECIMAL_MANT      347 marshal.c      	modf(ldexp(frexp(fabs(d), &e), DECIMAL_MANT), &d);
DECIMAL_MANT      365 marshal.c      	d = ldexp(d, e - DECIMAL_MANT);
DECIMAL_MANT      383 marshal.c          char buf[FLOAT_DIG + (DECIMAL_MANT + 7) / 8 + 10];