[][src]Type Definition typenum::N672

type N672 = NInt<U672>;