Fixed non-termination issue in bounded integers.