Type Definition typenum::P670

type P670 = PInt<U670>;