Type Definition typenum::consts::P667

type P667 = PInt<U667>;