[][src]Type Definition typenum::N579

type N579 = NInt<U579>;