Store integers bigger than `PHP_INT_MAX` as string (see #5939)