Type Definition typenum::P801

type P801 = PInt<U801>;