overflow/underflow-free

无上下溢