Type Definition typenum::P865

type P865 = PInt<U865>;