pub type NonZeroInteger = Integer;
Expand description