Type Definition typenum::P819

type P819 = PInt<U819>;