Type Definition typenum::P503

type P503 = PInt<U503>;