Replace compare_relative_precision() by has_smaller_relative_precision() fixing the case of [-Inf,+Inf].