where exp >= DBL_MIN_EXP - 1,
mantissa < 2.0,
if x is not a denormalized number then mantissa >= 1.0.
- Store exp and return mantissa. */
-extern double printf_frexp (double x, int *exp);
+ Store exp in *EXPPTR and return mantissa. */
+extern double printf_frexp (double x, int *expptr);