Use libSUFR deq() and dne() for (un)equalities in reals