extern char __infinity[];
#define HUGE_VAL    (*(double *) __infinity)