Is there a shorthand in Rascal to get the max integer value?
e.g. in Java's Integer.MAX_VALUE, or C#'s Int32.MaxValue
Rascal does not have a maximum integer value; It just grows until you are out of memory.