added more test cases for over/underflow