Listing 3

/* "float.h" for Multiflow Trace cc 2.1.3 */
#define FLT_RADIX 2
#define DBL_EPSILON    2.2204460492503131e-16
#define DBL_DIGITS 16
#define DBL_MANT_DIG   53
#define FLT_EPSILON    1.1920929e-07
#define FLT_DIGITS 7
#define FLT_MANT_DIG   24
#define LDBL_EPSILON   2.2204460492503131e-16
#define LDBL_DIGITS    16
#define LDBL_MANT_DIG  53
#define MUL_ROUNDS 1
#define DIV_ROUNDS 1
#define VECTOR_BY_SCALAR_DIV_ROUNDS    -1
#define FLT_ROUNDS 1
#define DBL_MIN        2.2250738585072067e-308
#define DBL_MIN_10_EXP -307
#define DBL_MIN_EXP    -1021
#define FLT_MIN        1.17549449e-38
#define FLT_MIN_10_EXP -37
#define FLT_MIN_EXP    -125
#define LDBL_MIN 2.2250738585072067e-308
#define LDBL_MIN_10_EXP    -307
#define LDBL_MIN_EXP   -1021
#define DBL_MAX        1.7976931348623055e+308
#define DBL_MAX_10_EXP 308
#define DBL_MAX_EXP    1024
#ifndef HUGE_VAL
#define HUGE_VAL    Inf
#endif
#define FLT_MAX        3.40282347e+38
#define FLT_MAX_10_EXP 38
#define FLT_MAX_EXP    128
#define LDBL_MAX 1.7976931348623055e+308
#define LDBL_MAX_10_EXP    308
#define LDBL_MAX_EXP   1024