Type Definition typenum::P878

type P878 = PInt<U878>;