_DEXPLEN Constant

values.h

#define _DEXPLEN 15

Number of exponent bits for double precision.