PRINCE: Fix INT_MAX error - change it to kIntMax constant