[][src]Type Definition typenum::N420

type N420 = NInt<U420>;