Type Definition typenum::P999

type P999 = PInt<U999>;