Type Definition typenum::P810

type P810 = PInt<U810>;