pub type NonZeroU64 = NonAnyU64<0>;
An integer that is known not to equal zero.
pub struct NonZeroU64(/* private fields */);