blob: 71a429b0bfd4d8d498a7155a09be3c75ecdaf9c0 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
|
macro FLT_RADIX
constant FLT_ROUNDS
macro FLT_MANT_DIG
macro DBL_MANT_DIG
macro LDBL_MANT_DIG
constant FLT_DIG >= 6
constant DBL_DIG >= 10
constant LDBL_DIG >= 10
macro FLT_MIN_EXP
macro DBL_MIN_EXP
macro LDBL_MIN_EXP
constant FLT_MIN_10_EXP <= -37
constant DBL_MIN_10_EXP <= -37
constant LDBL_MIN_10_EXP <= -37
macro FLT_MAX_EXP
macro DBL_MAX_EXP
macro LDBL_MAX_EXP
constant FLT_MAX_10_EXP >= 37
constant DBL_MAX_10_EXP >= 37
constant LDBL_MAX_10_EXP >= 37
constant FLT_MAX >= 1.0E37
constant DBL_MAX >= 1.0E37
constant LDBL_MAX >= 1.0E37
macro FLT_EPSILON
macro DBL_EPSILON
macro LDBL_EPSILON
macro FLT_MIN
macro DBL_MIN
macro LDBL_MIN
allow *_t
|
