Type Definition typenum::P600

type P600 = PInt<U600>;