Type Definition typenum::P523

type P523 = PInt<U523>;