Type Definition typenum::P867

type P867 = PInt<U867>;