Type Definition typenum::P847

type P847 = PInt<U847>;