Type Definition typenum::P250

type P250 = PInt<U250>;