Implemented srem and urem in Integer::Interval.