* Add macro M_LESS_THAN_P (src, test, doc). * Robustify M_INC & M_DEC so that overflow & underflow keeps returning overflow & underflow

README.md

@@ -5446,6 +5446,11 @@ x and y shall be within [0..M\_MAX\_NB\_ARGUMENT].
 Return 1 if x == y, 0 otherwise (resolution is performed at preprocessing time).
 x and y shall be within [0..M\_MAX\_NB\_ARGUMENT].
 
+##### M\_LESS\_THAN\_P(x, y)
+
+Return 1 if x < y, 0 otherwise (resolution is performed at preprocessing time).
+x and y shall be within [0..M\_MAX\_NB\_ARGUMENT].x
+
 ##### M\_COMMA\_P(arglist)
 
 Return 1 if there is a comma inside the argument list, 0 otherwise.