ASTM — Describe the behavior of Modulus

Describe the behavior of Modulus. Some languages find that (-3 mod 2 = 1) and others find that (-3 mod 2 = -1). Recommend adopting the latter since this would align with OCL 2.0 (formal/06-05-01) p.143 context: Integer.mod(i: Integer): Integer post: result = self - (self.div * i)

The change to the specification will be in section# <3.2.1.5.9>, page# <110>, line# <21>. New description will be added along the lines "Default behavior of Modulus operator: Integer.mod(i: Integer): Integer post: result = self - (self.div * i)".
A change to specification will also be in section# <2.11.7>, page# <57>, line# <10>. Create a reference to the semantics specified in the section 3.2.1.5.9 (described in previous para).