Exceptions.

Hi. I have problems in understanding GiNaC policy regarding the choice of exceptions thrown. The operator `operator/' defined on objects of the class `numeric' throws a `runtime_error' in the case of a division by zero. In contrast, the `operator/' defined on objects of the class `ex' throws a `logic_error' in the case of a division by zero. Why is there such a difference? According to the standard, the exception `logic_error' should be used when errors could have been detected before program execution: I thus believe that a `runtime_error' should be thrown even in the case of an `ex' object. The same argument hold for the exception thrown by `power': logic_error: power::eval(): division by zero. Thanks Tatiana Zolo