inline Standard_Integer IntTools_MarkedRangeSet::Length() const { return myRangeNumber; }