[][src]Type Definition typenum::N520

type N520 = NInt<U520>;