Range computation involving different bounds