fix bug on intervalset::diff with huge intervals