/* float.c (emx+gcc) */

#include <stdio.h>
#include <float.h>

double dbl_min = DBL_MIN;
double dbl_max = DBL_MAX;
double dbl_eps = DBL_EPSILON;
double one = 1.0;

int main (void)
{
  printf ("DBL_MIN=%.20g\n", dbl_min);
  printf ("DBL_MAX=%.20g\n", dbl_max);
  printf ("1+DBL_EPSILON=%.20g\n", one + dbl_eps);
  return 0;
}
