[][src]Type Definition typenum::N724

type N724 = NInt<U724>;