Class NonNegativeIntegerSpecification.DynamicParameterSpecification