[minor/bug] define MAXINT for platform specific max integer in id generation