Type Definition typenum::consts::N667

type N667 = NInt<U667>;