Machines with 64-bit PHP installation should have had no problems (except on Windows, where integers are still 32 bits)