const NonPositiveDecimalString: nonPositiveDecimalString(DecimalString);