Type Definition typenum::P798

type P798 = PInt<U798>;