… not enough and you have to use BIGINT 64-bit ids; e.g. if you are encoding additional information like the server ID into high bits of the ID. I had already written about the mess that 64-bit integers… at the moment the option is neither mentioned in the online documentation, nor explained clearly in php.ini. So this adds…