This is an optional input for counting roots with multiplicity.
The source of this document is in RealRoots.m2:824:0.