conform/data/float.h-data

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