Add boundedness check between int ranges