Type Definition typenum::P679

type P679 = PInt<U679>;