MAXINT as system-variable

[gorzelc@…]

For several procs, it would be useful to have the value of MAXINT available.

A query comes up with:

gorzelc@linux:~/Desktop/Singular/3-1-0/LIB> grep  2147483647 *.lib
aksaka.lib
atkins.lib
crypto.lib
general.lib
noether.lib
primitiv.lib

Authors of a library then had not to declare

   int MAXINT =  2147483647; // this is int(bigint(2)^32 - 1)

but could access

either directly a (built)variable

  MAXINT;

or could get the value by

 system("MAXINT");

This would also keep the relevant procs up-to-date when
up-grading from 32- to 64-bit machines.