Type Definition typenum::consts::P520

type P520 = PInt<U520>;