Use util_double_approx_equal__(..)