Type Definition typenum::P522

type P522 = PInt<U522>;