Type Definition typenum::consts::P876

type P876 = PInt<U876>;