DualPulseCounterBase Properties
This is DefaultMaximumThreshold, a member of class DualPulseCounterBase.