Type Definition typenum::P500

type P500 = PInt<U500>;