Type Definition typenum::P783

type P783 = PInt<U783>;