Type Definition typenum::P680

type P680 = PInt<U680>;