diff --git a/src/Analyser/TypeSpecifier.php b/src/Analyser/TypeSpecifier.php
index 0d1138fdab..fa8d343447 100644
--- a/src/Analyser/TypeSpecifier.php
+++ b/src/Analyser/TypeSpecifier.php
@@ -37,6 +37,7 @@
 use PHPStan\ShouldNotHappenException;
 use PHPStan\TrinaryLogic;
 use PHPStan\Type\Accessory\AccessoryArrayListType;
+use PHPStan\Type\Accessory\AccessoryDecimalIntegerStringType;
 use PHPStan\Type\Accessory\AccessoryLowercaseStringType;
 use PHPStan\Type\Accessory\AccessoryNonEmptyStringType;
 use PHPStan\Type\Accessory\AccessoryNonFalsyStringType;
@@ -2967,6 +2968,57 @@ public function resolveIdentical(Expr\BinaryOp\Identical $expr, Scope $scope, Ty
 		return $specifiedTypes;
 	}
 
+	/**
+	 * When $castExpr casts $valueExpr to an int and back to a string — i.e. the
+	 * `(string) (int) $valueExpr` round-trip (in any combination of the (string)/(int)
+	 * casts) — returns $valueExpr so the
+	 * comparison `$castExpr === $valueExpr` can narrow it to a decimal / non-decimal
+	 * integer string. This is the canonical "decimal integer string" round-trip that
+	 * ConstantStringType::isDecimalIntegerString() checks with `(string) (int) $value === $value`.
+	 *
+	 * The cast forms are stripped from the AST only to match the value expression; whether
+	 * the casts actually compute the int-then-string round-trip is confirmed through the
+	 * type system via Type::toInteger() and Type::toString() rather than by relying on the
+	 * exact order or shape of the casts.
+	 */
+	private function getDecimalIntegerStringRoundTripExpr(Expr $castExpr, Expr $valueExpr, Scope $scope): ?Expr
+	{
+		$valueType = $scope->getType($valueExpr);
+		if (!$valueType->isString()->yes()) {
+			return null;
+		}
+
+		$baseExpr = $castExpr;
+		$unwrapped = false;
+		while (($inner = $this->getCastInnerExpr($baseExpr)) !== null) {
+			$baseExpr = $inner;
+			$unwrapped = true;
+		}
+
+		if (
+			!$unwrapped
+			|| $this->exprPrinter->printExpr($baseExpr) !== $this->exprPrinter->printExpr($valueExpr)
+		) {
+			return null;
+		}
+
+		return $scope->getType($castExpr)->equals($valueType->toInteger()->toString())
+			? $valueExpr
+			: null;
+	}
+
+	/**
+	 * Strips a single (string)/(int) cast, returning its inner expression.
+	 */
+	private function getCastInnerExpr(Expr $expr): ?Expr
+	{
+		if ($expr instanceof Expr\Cast\String_ || $expr instanceof Expr\Cast\Int_) {
+			return $expr->expr;
+		}
+
+		return null;
+	}
+
 	private function resolveNormalizedIdentical(Expr\BinaryOp\Identical $expr, Scope $scope, TypeSpecifierContext $context): SpecifiedTypes
 	{
 		$leftExpr = $expr->left;
@@ -3229,6 +3281,25 @@ private function resolveNormalizedIdentical(Expr\BinaryOp\Identical $expr, Scope
 			}
 		}
 
+		// (string) (int) $x === $x
+		if (!$context->null()) {
+			$decimalValueExpr = $this->getDecimalIntegerStringRoundTripExpr($unwrappedLeftExpr, $unwrappedRightExpr, $scope)
+				?? $this->getDecimalIntegerStringRoundTripExpr($unwrappedRightExpr, $unwrappedLeftExpr, $scope);
+
+			if ($decimalValueExpr !== null) {
+				$decimalValueType = $scope->getType($decimalValueExpr);
+				$decimalIntegerString = new AccessoryDecimalIntegerStringType();
+				return $this->create(
+					$decimalValueExpr,
+					$context->truthy()
+						? TypeCombinator::intersect($decimalValueType, $decimalIntegerString)
+						: TypeCombinator::remove($decimalValueType, $decimalIntegerString),
+					TypeSpecifierContext::createTruthy(),
+					$scope,
+				)->setRootExpr($expr);
+			}
+		}
+
 		if ($rightType->isString()->yes()) {
 			$types = null;
 			foreach ($rightType->getConstantStrings() as $constantString) {
diff --git a/src/Type/Accessory/AccessoryDecimalIntegerStringType.php b/src/Type/Accessory/AccessoryDecimalIntegerStringType.php
index d965eb0ebc..23bc7112e3 100644
--- a/src/Type/Accessory/AccessoryDecimalIntegerStringType.php
+++ b/src/Type/Accessory/AccessoryDecimalIntegerStringType.php
@@ -62,6 +62,11 @@ public function __construct(private bool $inverse = false)
 	{
 	}
 
+	public function isInverse(): bool
+	{
+		return $this->inverse;
+	}
+
 	public function getReferencedClasses(): array
 	{
 		return [];
diff --git a/src/Type/StringType.php b/src/Type/StringType.php
index d5fc72f6fb..be45c3c3de 100644
--- a/src/Type/StringType.php
+++ b/src/Type/StringType.php
@@ -331,6 +331,10 @@ public function tryRemove(Type $typeToRemove): ?Type
 			return new ConstantStringType('');
 		}
 
+		if ($typeToRemove instanceof AccessoryDecimalIntegerStringType) {
+			return TypeCombinator::intersect($this, new AccessoryDecimalIntegerStringType(!$typeToRemove->isInverse()));
+		}
+
 		return null;
 	}
 
diff --git a/tests/PHPStan/Analyser/nsrt/decimal-int-string-cast.php b/tests/PHPStan/Analyser/nsrt/decimal-int-string-cast.php
new file mode 100644
index 0000000000..e0829ed114
--- /dev/null
+++ b/tests/PHPStan/Analyser/nsrt/decimal-int-string-cast.php
@@ -0,0 +1,58 @@
+<?php declare(strict_types = 1);
+
+namespace DecimalIntStringCast;
+
+use function PHPStan\Testing\assertType;
+
+class Foo
+{
+
+	public function castIdentical(string $s): void
+	{
+		if ((string) (int) $s === $s) {
+			assertType('decimal-int-string', $s);
+		} else {
+			assertType('non-decimal-int-string', $s);
+		}
+	}
+
+	public function castIdenticalFlipped(string $s): void
+	{
+		if ($s === (string) (int) $s) {
+			assertType('decimal-int-string', $s);
+		} else {
+			assertType('non-decimal-int-string', $s);
+		}
+	}
+
+	public function castIdenticalDifferentOrder(string $s): void
+	{
+		// the casts can appear in any combination as long as the chain
+		// computes the int-then-string round-trip
+		if ((string) (int) (string) (int) $s === $s) {
+			assertType('decimal-int-string', $s);
+		} else {
+			assertType('non-decimal-int-string', $s);
+		}
+	}
+
+	public function castNotIdentical(string $s): void
+	{
+		if ((string) (int) $s !== $s) {
+			assertType('non-decimal-int-string', $s);
+		} else {
+			assertType('decimal-int-string', $s);
+		}
+	}
+
+	public function notAlwaysString(int|string $s): void
+	{
+		if ((string) (int) $s === $s) {
+			assertType('decimal-int-string', $s);
+		} else {
+			// $s can still be an int here, so we cannot narrow to non-decimal-int-string
+			assertType('int|string', $s);
+		}
+	}
+
+}
diff --git a/tests/PHPStan/Type/TypeCombinatorTest.php b/tests/PHPStan/Type/TypeCombinatorTest.php
index ed02cc51e3..18f073d4d7 100644
--- a/tests/PHPStan/Type/TypeCombinatorTest.php
+++ b/tests/PHPStan/Type/TypeCombinatorTest.php
@@ -5737,6 +5737,18 @@ public static function dataRemove(): array
 				NeverType::class,
 				'*NEVER*=implicit',
 			],
+			[
+				new StringType(),
+				new AccessoryDecimalIntegerStringType(),
+				IntersectionType::class,
+				'non-decimal-int-string',
+			],
+			[
+				new StringType(),
+				new AccessoryDecimalIntegerStringType(inverse: true),
+				IntersectionType::class,
+				'decimal-int-string',
+			],
 			[
 				new ConstantBooleanType(true),
 				new ConstantBooleanType(false),