Assuming we continue having numerical priorities (see #4591):

• If priorities are stored as integers (see [css-highlight-api] should priority be a floating point number or an integer? #4592), should we allow negative ones?

• If negative integers or doubles are used, does a negative priority mean placement below the built-in highlights in the stacking order, and a positive number above them?