RAND: ensure INT32_MAX is defined