Type Definition typenum::P786

type P786 = PInt<U786>;