Je ne sais pas si la libc va jusqu'à respecter ce genre de contraire : « The worst case is 752 digits for double, for numbers near Nmin/2 ». Dans les sources de la libc (2.5), je lis :
#define howmany(x,y) (((x)+((y)-1))/(y))
/* Maximum size necessary for mpn integers to hold floating point numbers. */
#define MPNSIZE (howmany (MAX_EXP + 2 * MANT_DIG, BITS_PER_MP_LIMB) + 2)
J'obtiens 1130 pour DBL_MAX_EXP + 2 * DBL_MANT_DIG. C'est le nombre de chiffre décimaux ?
[^] # Re: MPFR et GMP
Posté par Victor STINNER (site web personnel) . En réponse à la dépêche Sortie de GCC 4.3. Évalué à 2.
#define howmany(x,y) (((x)+((y)-1))/(y))
/* Maximum size necessary for mpn integers to hold floating point numbers. */
#define MPNSIZE (howmany (MAX_EXP + 2 * MANT_DIG, BITS_PER_MP_LIMB) + 2)
J'obtiens 1130 pour DBL_MAX_EXP + 2 * DBL_MANT_DIG. C'est le nombre de chiffre décimaux ?