Creating a Larger Number (Single Digit)

Although it was a handy trick to put two non-zero digits next to each other to assert them as bigger than a single-digit non-zero digit (i.e. {digit_non_zero} and {digit_non_zero}{digit_non_zero}), sometimes we need this to only happen in the domain of single digits.

Our options are limited. One solution would be to create a token file representing the first half of [0-9] (or [1-9]) and then a token file representing the second half. Example:

File first_half:

0
1
2
3
4

File second_half:

5
6
7
8
9

Now to assert that number y is bigger than number x, just call {second_half} where y would be and {first_half} where x would be. Unfortunately this reduces the domain a lot, as although [0-4], [5-9] are guaranteed to work, it is also possible to do [0-1] [2-9] or rather have x = 1 and y = 2. I chose [0-4], [5-9] though, as it split things up evenly.