[][src]Type Definition typenum::N720

type N720 = NInt<U720>;