Symbol: ALT_MINUS_HUGE_VAL