| 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 |
