;;AUTOLOAD: *maxint*
;;AUTODOC: *maxint* "maximum value of integers"
;;*maxint* is 2^31 -1, a constant, maximum value of positive numbers

(defconstant *maxint* 2147483647)

;;AUTOLOAD: *minint*
;;AUTODOC: *minint* "minimum value of integers"
;;*minint* is -(2^31), a constant, minimum value of negative numbers

(defconstant *minint* -2147483648)
