iRRAM Exact real arithmetic in C++. Doxygen API documentation: http://fbrausse.github.io/iRRAM PIVP solving A preliminary version can be found here: https://github.com/fbrausse/iRRAM-bigsteps