Type Definition typenum::P796

type P796 = PInt<U796>;