Re: Groveler and HUGE_VAL