The rules that use the category "<digit_zero_to_seven>" are:

<degree_number-180-digit_sequence>

<digit-1> <digit_zero_to_seven> <digit>

<degree_number-180-digit_sequence-pl>

<digit-1> <digit_zero_to_seven> <digit>