A commented-out attempt to introduce division that assumes (and thus
does not check) that the denominator is positive.
Support union of two IntPolys where the coefficients would be
anti-consitent - simply collapse such coefficients to consistent
singletons.
getRangeOut - a convenience function, now available globally
flyspeck inequality also tested for another range