[][src]Type Definition typenum::N728

type N728 = NInt<U728>;