define HUGE_VALF if needed