const NonNegativeDecimalString: nonNegativeDecimalString(DecimalString);