[][src]Type Definition typenum::P800

type P800 = PInt<U800>;