Define pp.UMVersion helper for pp rules.

Enables writing rules without referring to the rules of encoding in LBSRCE.

These divisions need converting to integer division: `//`