[][src]Type Definition typenum::N580

type N580 = NInt<U580>;