[][src]Type Definition typenum::N673

type N673 = NInt<U673>;