The rules that use the category "<decimal>" are:
<number> <decimal>
mach <decimal>
mach <digit-1_or_2> <decimal>
<altitude_unit> <digit> <decimal>