diff -p -up polymake-2.9.6/lib/PTL/include/Integer.h.orig polymake-2.9.6/lib/PTL/include/Integer.h
--- polymake-2.9.6/lib/PTL/include/Integer.h.orig	2009-02-26 18:38:29.000000000 -0300
+++ polymake-2.9.6/lib/PTL/include/Integer.h	2009-02-26 18:39:25.000000000 -0300
@@ -1185,8 +1185,8 @@ namespace std {
       static pm::Integer min() throw() { return pm::Integer(pm::maximal<pm::Integer>(),-1); }
       static pm::Integer infinity() throw() { return pm::Integer(pm::maximal<pm::Integer>()); }
       static pm::Integer max() throw() { return pm::Integer(pm::maximal<pm::Integer>()); }
-      static const int digits=INT_MAX;
-      static const int digits10=INT_MAX;
+      static const int digits=__INT_MAX__;
+      static const int digits10=__INT_MAX__;
       static const bool is_bounded=false;
    };