Variable: intervals-consed

Number of intervals that have been consed so far.