Type Definition typenum::P805

type P805 = PInt<U805>;