| /* Split a double into fraction and mantissa, for hexadecimal printf. |

| Copyright (C) 2007, 2009-2012 Free Software Foundation, Inc. |

| This program is free software: you can redistribute it and/or modify |

| it under the terms of the GNU General Public License as published by |

| the Free Software Foundation; either version 3 of the License, or |

| (at your option) any later version. |

| This program is distributed in the hope that it will be useful, |

| but WITHOUT ANY WARRANTY; without even the implied warranty of |

| MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |

| GNU General Public License for more details. |

| You should have received a copy of the GNU General Public License |

| along with this program. If not, see <http://www.gnu.org/licenses/>. */ |

| /* Write a finite, positive number x as |

| where exp >= DBL_MIN_EXP - 1, |

| if x is not a denormalized number then mantissa >= 1.0. |

| Store exp in *EXPPTR and return mantissa. */ |

| extern double printf_frexp (double x, int *expptr); |