[][src]Type Definition typenum::N172

type N172 = NInt<U172>;