Type Definition typenum::N500

type N500 = NInt<U500>;