/* float.h */
#ifndef _FLOAT_H___
#define _FLOAT_H___
#include_next <float.h>
/* Produced by enquire version 4.3, CWI, Amsterdam */



   /* Number of base-FLT_RADIX digits in the significand of a long double */
#undef LDBL_MANT_DIG
#define LDBL_MANT_DIG 53
   /* Number of decimal digits of precision in a long double */
#undef LDBL_DIG
#define LDBL_DIG 15
   /* Difference between 1.0 and the minimum long double greater than 1.0 */
#undef LDBL_EPSILON
#ifndef __LDBL_UNION__
#define __LDBL_UNION__
union __convert_long_double {
  unsigned __convert_long_double_i[4];
  long double __convert_long_double_d;
};
#endif
#define LDBL_EPSILON (__extension__ ((union __convert_long_double) {__convert_long_double_i: {0x0, 0x80000000, 0x3fcb, 0x0}}).__convert_long_double_d)
   /* Maximum long double */
#undef LDBL_MAX
#define LDBL_MAX (__extension__ ((union __convert_long_double) {__convert_long_double_i: {0xfffff800, 0xffffffff, 0x107ffe, 0x0}}).__convert_long_double_d)

/* *** Something fishy here!
    Exponent size + significand size doesn't match with the size of a long double! */


#endif /*  _FLOAT_H___ */
