Type Definition typenum::consts::N420

type N420 = NInt<U420>;