implemented algebraic reals product and comparison