Type Definition typenum::consts::P522

type P522 = PInt<U522>;