Type Definition typenum::P280

type P280 = PInt<U280>;