newRPL - build 1255 released! [updated to 1299]

[Claudio L.]

Updated all ROMs to 1158.

I realized that the bit for the "infinity" attribute had inverted logic to all the rest. All attributes express a constraint (a restriction) on the set of values, so that for example a value that if a rule requires a value to be >=0, values that are >0 also meet this requirement by being a more specific subset. I achieved this by making the attribute be "cannot be zero" rather than "can be zero", but I had the infinity bit logic reversed, which resulted in real numbers + Infinity to be a subset of finite real numbers.

Anyway, I reversed the logic and published 1158. I also played a bit with the AUTOSIMPLIFY rules, so I'm not even sure what rules I have active anymore.