Subtracts one integer value from another, performs an overflow check, and pushes the result onto the evaluation stack.

• 从另一值中减去一个整数值,执行溢出检查,并且将结果推送到计算堆栈上。