Type Definition typenum::P678

type P678 = PInt<U678>;