Assess whether OffsetNumC ought to work with signed values only. If so, enforce this at the type level.
Assess whether OffsetNumC ought to work with signed values only. If so, enforce this at the type level.