Type Definition typenum::consts::N500

type N500 = NInt<U500>;