I think the issue was that they are representing a real as a product of a rational and that more complicated type, so without a symbolic representation for 1, w

I think the issue was that they are representing a real as a product of a rational and that more complicated type, so without a symbolic representation for 1, when representing and rational, they would have to multiply it by a RRA representation of 1 which brings in all the decision problem issues.