(per C99 7.12 #4), we can't define it as HUGE_VAL (the double version). Instead, just use HUGE_VAL directly.