Type Definition typenum::P563

type P563 = PInt<U563>;