interval subtraction
some more problems and fixed silly mistake with the upper/lower bound implementation