Workaround for integers on 32-bit PHP