In is_number(), do not check strtod() result against HUGE_VAL which