Exact arithmetic in `repeated_game`

[oyamad]

Is it possible to compute everything with exact arithmetic, if the input game is of type Int or Rational and the user chooses a Polyhedra library that supports computation with Rational such as CDDLib and LRSLib (probably through plib)?

[cc7768]

I suspect that something like this would be possible -- We should investigate further to verify that all operations would maintain the data as Int or Rational (for example, one may have to ensure that the discount factor was of the appropriate type).

[MKobayashi23m]

If no one is working on this right now, I would like to have a try.

[cc7768]

This would be great -- Please let us know if you have questions if you take a stab at this.