Type Definition typenum::P842

type P842 = PInt<U842>;