pub type NonMaxU64 = NonMax<u64>;
An unsigned 64-bit integer that cannot be u64::MAX.
u64::MAX
pub struct NonMaxU64(/* private fields */);