Proposals of Changes to the Mathematical Language Specification
From Event-B
Change Proposals to Version 1.0
- Matthias: Section 2.3 says that integer literals are unsigned, i.e., nonnegative. In Arithmetic Rewrite Rules, it is however assumed that integer literals may also be negative. I therefore propose to say in Section 2.3 that integer literals can be positive, zero, or negative, but that negative literals such as -1 are parsed to unary minus followed by 1.
