Type Definition typenum::P827

type P827 = PInt<U827>;