Type Definition typenum::consts::N172

type N172 = NInt<U172>;