Type Definition typenum::P876

type P876 = PInt<U876>;