[][src]Type Definition typenum::N129

type N129 = NInt<U129>;