Type Definition typenum::P869

type P869 = PInt<U869>;