Add support for interval models in bounded integers MBQI (in progress).