In IntegerInterval, if top is set, the values are set to minimum and maximum values. Also, test for top tests these values as well (so if operation results in all the values, top is detected).
Fixes #175.