The class of divisors whose coefficients are integers. Should be constructed by the divisor method. For the underlying structure, see BasicDiv.
The object WDiv is a type, with ancestor classes QDiv < RDiv < BasicDiv < HashTable < Thing.