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