Symbol: arith_underflow