1999-08-24 19:55:34 +02:00
|
|
|
macro FLT_RADIX
|
|
|
|
|
|
|
|
constant FLT_ROUNDS
|
|
|
|
|
|
|
|
macro FLT_MANT_DIG
|
|
|
|
macro DBL_MANT_DIG
|
|
|
|
macro LDBL_MANT_DIG
|
|
|
|
|
2000-05-02 21:09:48 +02:00
|
|
|
constant FLT_DIG >= 6
|
|
|
|
constant DBL_DIG >= 10
|
|
|
|
constant LDBL_DIG >= 10
|
1999-08-24 19:55:34 +02:00
|
|
|
|
|
|
|
macro FLT_MIN_EXP
|
|
|
|
macro DBL_MIN_EXP
|
|
|
|
macro LDBL_MIN_EXP
|
|
|
|
|
2000-05-02 21:09:48 +02:00
|
|
|
constant FLT_MIN_10_EXP <= -37
|
|
|
|
constant DBL_MIN_10_EXP <= -37
|
|
|
|
constant LDBL_MIN_10_EXP <= -37
|
1999-08-24 19:55:34 +02:00
|
|
|
|
|
|
|
macro FLT_MAX_EXP
|
|
|
|
macro DBL_MAX_EXP
|
|
|
|
macro LDBL_MAX_EXP
|
|
|
|
|
2000-05-02 21:09:48 +02:00
|
|
|
constant FLT_MAX_10_EXP >= 37
|
|
|
|
constant DBL_MAX_10_EXP >= 37
|
|
|
|
constant LDBL_MAX_10_EXP >= 37
|
1999-08-24 19:55:34 +02:00
|
|
|
|
2000-05-02 21:09:48 +02:00
|
|
|
constant FLT_MAX >= 1.0E37
|
|
|
|
constant DBL_MAX >= 1.0E37
|
|
|
|
constant LDBL_MAX >= 1.0E37
|
1999-08-24 19:55:34 +02:00
|
|
|
|
|
|
|
macro FLT_EPSILON
|
|
|
|
macro DBL_EPSILON
|
|
|
|
macro LDBL_EPSILON
|
|
|
|
|
|
|
|
macro FLT_MIN
|
|
|
|
macro DBL_MIN
|
|
|
|
macro LDBL_MIN
|
1999-08-24 22:40:44 +02:00
|
|
|
|
|
|
|
allow *_t
|