added: UnsignedInt type hint

src/DateTimeRange.php

@@ -41,7 +41,7 @@ private function __construct(
 		$interval = $this->to->diff($this->from);
 
 		$this->durationInSeconds
-			= (int) $interval->days * 86_400
+			= $interval->days * 86_400
 			+ $interval->h * 3_600
 			+ $interval->i * 60
 			+ $interval->s;

src/UnsignedInt.php

@@ -15,14 +15,24 @@ final class UnsignedInt implements ToStringInterface, ComparableInterface
 	use ToStringTrait;
 	use StringComparableTrait;
 
+	/**
+	 * @var int<0, max>
+	 */
+	private int $value;
+
 	public function __construct(
-		private int $value
+		int $value
 	) {
 		if ($value < 0 || $value > \PHP_INT_MAX) {
 			throw new InvalidTypeException('Invalid unsigned integer: ' . $value);
 		}
+
+		$this->value = $value;
 	}
 
+	/**
+	 * @return int<0, max>
+	 */
 	public function getValue(): int
 	{
 		return $this->value;

tools/cs/ruleset.xml

@@ -45,6 +45,10 @@
 		<exclude name="SlevomatCodingStandard.Classes.DisallowConstructorPropertyPromotion.DisallowedConstructorPropertyPromotion"/>
 		<exclude name="SlevomatCodingStandard.Classes.ForbiddenPublicProperty.ForbiddenPublicProperty"/>
 	</rule>
+	<!-- Promoted properties can't carry a ranged @var, which PHPStan needs for int<0, max> -->
+	<rule ref="SlevomatCodingStandard.Classes.RequireConstructorPropertyPromotion">
+		<exclude-pattern>src/UnsignedInt.php</exclude-pattern>
+	</rule>
 	<rule ref="SlevomatCodingStandard.Namespaces.UnusedUses">
 		<properties>
 			<property name="searchAnnotations" type="boolean" value="true"/>