Type Definition typenum::P864

type P864 = PInt<U864>;