pub type CheckedNonZeroU128 = CheckedNum<NonZero<u128>>;
struct CheckedNonZeroU128(/* private fields */);