Type Definition typenum::consts::P500

type P500 = PInt<U500>;