Type Definition typenum::consts::N580

type N580 = NInt<U580>;