Symbol: float_flag_underflow