Type Definition typenum::P667

type P667 = PInt<U667>;