Type Definition typenum::N671

type N671 = NInt<U671>;