pub type PositiveInteger = Integer;
Expand description