Edited until end of inequalities. For set operations, must implement directed rounding correctly
Removed repr() from formatting functions. 'mpfr' no longer appears, but it is not so accurate