Type Definition typenum::P702

type P702 = PInt<U702>;