Type Definition typenum::P743

type P743 = PInt<U743>;