In "8.5.3.2 Derivation process for motion vector components and reference indices" there is a note that the resulting values of mvLX[0] and mvLX[1] will always be in the range -2^15 to 2^15-1.

However, in "E.2.1 VUI parameters semantics" the semantics for log2_max_mv_length_horizontal say that a value of 16 can be sent, meaning that no value of a horizontal motion vector component is outside the range -2^16 to 2^16-1, although the default value is 15 if no bitstream restriction parameters are present.

This 16 seems odd because:

1. it appears impossible to code a motion vector that would require the value of 16
2. the vertical range is limited to 15
3. it is using a "bitstream restriction" to extend the range of motion vectors (all other fields in this structure restrict the allowed range)

Question: Should this 16 be a 15, or have I misunderstood something?