[][src]Type Definition typenum::N524

type N524 = NInt<U524>;