For manipulating real algebraic numbers
