Type Definition typenum::P862

type P862 = PInt<U862>;