#include <math.h>
#define HUGE_VALF                             /* TODO: massive positive float */

/*
STDC(199901)
LINK(m)
*/