Leading zeros in output
If leading zeros are specified in an interval next to one of the numerical values, it is agreed for the output value what is the maximum number of places to which leading zeros can be added automatically if necessary:
Interval entry |
Examples of possible output values |
|---|---|
[ 1 : 99 ] |
1, 2, 3, 12, 14, etc. |
[ 01 : 99 ] |
01, 02, 03, 12, 14, etc. |
[ 001 : 999 ] |
001, 002, 003, 012, 014, etc. |
Presented below is a practical example: the first value in the interval [ 01 : 99 ] has a leading zero:

It is thus ensured that always guaranteed two-digit numerical values are established in the range from 01 to 99. When two intervals are combined, rational numbers with two decimal places within the range from 2000.01 to 9999.99 are also established.
Calculation of average values, random values and boundary values is thus possible.
Round brackets in which such intervals are enclosed ensure only that such intervals are not taken into consideration during consistency check of an interval for a condition. Further information on the consistency check can be found directly in the following section.