Ext_arith: more evaluation rules (for type conversion); it also performs heuristic variable elimination in some cases
Ext_arith: more evaluation rules (for type conversion);
it also performs heuristic variable elimination in some cases

c-cube/zipperposition,c-cube/zipperposition,c-cube/zipperposition,c-cube/zipperposition