Type Definition typenum::P520

type P520 = PInt<U520>;