1 /* float.h for target with IEEE 32, 64 and 128 bit floating point formats */
4 /* Produced by enquire version 4.3, CWI, Amsterdam */
6 /* Radix of exponent representation */
9 /* Number of base-FLT_RADIX digits in the significand of a float */
11 #define FLT_MANT_DIG 24
12 /* Number of decimal digits of precision in a float */
15 /* Addition rounds to 0: zero, 1: nearest, 2: +inf, 3: -inf, -1: unknown */
18 /* Difference between 1.0 and the minimum float greater than 1.0 */
20 #define FLT_EPSILON 1.19209290e-07F
21 /* Minimum int x such that FLT_RADIX**(x-1) is a normalised float */
23 #define FLT_MIN_EXP (-125)
24 /* Minimum normalised float */
26 #define FLT_MIN 1.17549435e-38F
27 /* Minimum int x such that 10**x is a normalised float */
29 #define FLT_MIN_10_EXP (-37)
30 /* Maximum int x such that FLT_RADIX**(x-1) is a representable float */
32 #define FLT_MAX_EXP 128
35 #define FLT_MAX 3.40282347e+38F
36 /* Maximum int x such that 10**x is a representable float */
38 #define FLT_MAX_10_EXP 38
40 /* Number of base-FLT_RADIX digits in the significand of a double */
42 #define DBL_MANT_DIG 53
43 /* Number of decimal digits of precision in a double */
46 /* Difference between 1.0 and the minimum double greater than 1.0 */
48 #define DBL_EPSILON 2.2204460492503131e-16
49 /* Minimum int x such that FLT_RADIX**(x-1) is a normalised double */
51 #define DBL_MIN_EXP (-1021)
52 /* Minimum normalised double */
54 #define DBL_MIN 2.2250738585072014e-308
55 /* Minimum int x such that 10**x is a normalised double */
57 #define DBL_MIN_10_EXP (-307)
58 /* Maximum int x such that FLT_RADIX**(x-1) is a representable double */
60 #define DBL_MAX_EXP 1024
63 #define DBL_MAX 1.7976931348623157e+308
64 /* Maximum int x such that 10**x is a representable double */
66 #define DBL_MAX_10_EXP 308
68 /* Number of base-FLT_RADIX digits in the significand of a long double */
70 #define LDBL_MANT_DIG 113
71 /* Number of decimal digits of precision in a long double */
74 /* Difference between 1.0 and the minimum long double greater than 1.0 */
76 #define LDBL_EPSILON 1.925929944387235853055977942584927319E-34L
77 /* Minimum int x such that FLT_RADIX**(x-1) is a normalised long double */
79 #define LDBL_MIN_EXP (-16381)
80 /* Minimum normalised long double */
82 #define LDBL_MIN 3.362103143112093506262677817321752603E-4932L
83 /* Minimum int x such that 10**x is a normalised long double */
84 #undef LDBL_MIN_10_EXP
85 #define LDBL_MIN_10_EXP (-4931)
86 /* Maximum int x such that FLT_RADIX**(x-1) is a representable long double */
88 #define LDBL_MAX_EXP 16384
89 /* Maximum long double */
91 #define LDBL_MAX 1.189731495357231765085759326628007016E+4932L
92 /* Maximum int x such that 10**x is a representable long double */
93 #undef LDBL_MAX_10_EXP
94 #define LDBL_MAX_10_EXP 4932
96 #if defined (__STDC_VERSION__) && __STDC_VERSION__ >= 199901L
97 /* The floating-point expression evaluation method.
99 0 evaluate all operations and constants just to the range and
100 precision of the type
101 1 evaluate operations and constants of type float and double
102 to the range and precision of the double type, evaluate
103 long double operations and constants to the range and
104 precision of the long double type
105 2 evaluate all operations and constants to the range and
106 precision of the long double type
108 # undef FLT_EVAL_METHOD
109 # define FLT_EVAL_METHOD 0
111 /* Number of decimal digits to enable rounding to the given number of
112 decimal digits without loss of precision.
113 if FLT_RADIX == 10^n: #mantissa * log10 (FLT_RADIX)
114 else : ceil (1 + #mantissa * log10 (FLT_RADIX))
115 where #mantissa is the number of bits in the mantissa of the widest
116 supported floating-point type.
119 # define DECIMAL_DIG 36
123 #endif /* _FLOAT_H_ */