Type Definition typenum::P828

type P828 = PInt<U828>;