Type Definition typenum::P859

type P859 = PInt<U859>;