implement isFloat() on Type

src/Reflection/InitializerExprTypeResolver.php

@@ -1925,7 +1925,7 @@ public function getBitwiseNotType(Expr $expr, callable $getTypeCallback): Type
 
 				return TypeCombinator::intersect(...$accessories);
 			}
-			if ($type->isInteger()->yes() || $type instanceof FloatType) {
+			if ($type->isInteger()->yes() || $type->isFloat()->yes()) {
 				return new IntegerType(); //no const types here, result depends on PHP_INT_SIZE
 			}
 			return new ErrorType();

src/Type/Accessory/AccessoryArrayListType.php

@@ -267,6 +267,11 @@ public function isBoolean(): TrinaryLogic
 		return TrinaryLogic::createNo();
 	}
 
+	public function isFloat(): TrinaryLogic
+	{
+		return TrinaryLogic::createNo();
+	}
+
 	public function isInteger(): TrinaryLogic
 	{
 		return TrinaryLogic::createNo();

src/Type/Accessory/AccessoryLiteralStringType.php

@@ -181,6 +181,11 @@ public function isBoolean(): TrinaryLogic
 		return TrinaryLogic::createNo();
 	}
 
+	public function isFloat(): TrinaryLogic
+	{
+		return TrinaryLogic::createNo();
+	}
+
 	public function isInteger(): TrinaryLogic
 	{
 		return TrinaryLogic::createNo();

src/Type/Accessory/AccessoryNonEmptyStringType.php

@@ -181,6 +181,11 @@ public function isBoolean(): TrinaryLogic
 		return TrinaryLogic::createNo();
 	}
 
+	public function isFloat(): TrinaryLogic
+	{
+		return TrinaryLogic::createNo();
+	}
+
 	public function isInteger(): TrinaryLogic
 	{
 		return TrinaryLogic::createNo();

src/Type/Accessory/AccessoryNonFalsyStringType.php

@@ -181,6 +181,11 @@ public function isBoolean(): TrinaryLogic
 		return TrinaryLogic::createNo();
 	}
 
+	public function isFloat(): TrinaryLogic
+	{
+		return TrinaryLogic::createNo();
+	}
+
 	public function isInteger(): TrinaryLogic
 	{
 		return TrinaryLogic::createNo();

src/Type/Accessory/AccessoryNumericStringType.php

@@ -184,6 +184,11 @@ public function isBoolean(): TrinaryLogic
 		return TrinaryLogic::createNo();
 	}
 
+	public function isFloat(): TrinaryLogic
+	{
+		return TrinaryLogic::createNo();
+	}
+
 	public function isInteger(): TrinaryLogic
 	{
 		return TrinaryLogic::createNo();

src/Type/Accessory/HasOffsetType.php

@@ -184,6 +184,11 @@ public function isBoolean(): TrinaryLogic
 		return TrinaryLogic::createNo();
 	}
 
+	public function isFloat(): TrinaryLogic
+	{
+		return TrinaryLogic::createNo();
+	}
+
 	public function isInteger(): TrinaryLogic
 	{
 		return TrinaryLogic::createNo();

src/Type/Accessory/HasOffsetValueType.php

@@ -235,6 +235,11 @@ public function isBoolean(): TrinaryLogic
 		return TrinaryLogic::createNo();
 	}
 
+	public function isFloat(): TrinaryLogic
+	{
+		return TrinaryLogic::createNo();
+	}
+
 	public function isInteger(): TrinaryLogic
 	{
 		return TrinaryLogic::createNo();

src/Type/Accessory/NonEmptyArrayType.php

@@ -252,6 +252,11 @@ public function isBoolean(): TrinaryLogic
 		return TrinaryLogic::createNo();
 	}
 
+	public function isFloat(): TrinaryLogic
+	{
+		return TrinaryLogic::createNo();
+	}
+
 	public function isInteger(): TrinaryLogic
 	{
 		return TrinaryLogic::createNo();

src/Type/Accessory/OversizedArrayType.php

@@ -251,6 +251,11 @@ public function isBoolean(): TrinaryLogic
 		return TrinaryLogic::createNo();
 	}
 
+	public function isFloat(): TrinaryLogic
+	{
+		return TrinaryLogic::createNo();
+	}
+
 	public function isInteger(): TrinaryLogic
 	{
 		return TrinaryLogic::createNo();

src/Type/ArrayType.php

@@ -275,6 +275,11 @@ public function isBoolean(): TrinaryLogic
 		return TrinaryLogic::createNo();
 	}
 
+	public function isFloat(): TrinaryLogic
+	{
+		return TrinaryLogic::createNo();
+	}
+
 	public function isInteger(): TrinaryLogic
 	{
 		return TrinaryLogic::createNo();

src/Type/CallableType.php

@@ -337,6 +337,11 @@ public function isBoolean(): TrinaryLogic
 		return TrinaryLogic::createNo();
 	}
 
+	public function isFloat(): TrinaryLogic
+	{
+		return TrinaryLogic::createNo();
+	}
+
 	public function isInteger(): TrinaryLogic
 	{
 		return TrinaryLogic::createNo();

src/Type/ClosureType.php

@@ -406,6 +406,11 @@ public function isBoolean(): TrinaryLogic
 		return TrinaryLogic::createNo();
 	}
 
+	public function isFloat(): TrinaryLogic
+	{
+		return TrinaryLogic::createNo();
+	}
+
 	public function isInteger(): TrinaryLogic
 	{
 		return TrinaryLogic::createNo();

src/Type/FloatType.php

@@ -136,6 +136,11 @@ public function isBoolean(): TrinaryLogic
 		return TrinaryLogic::createNo();
 	}
 
+	public function isFloat(): TrinaryLogic
+	{
+		return TrinaryLogic::createYes();
+	}
+
 	public function isInteger(): TrinaryLogic
 	{
 		return TrinaryLogic::createNo();

src/Type/IntegerType.php

@@ -103,6 +103,11 @@ public function isBoolean(): TrinaryLogic
 		return TrinaryLogic::createNo();
 	}
 
+	public function isFloat(): TrinaryLogic
+	{
+		return TrinaryLogic::createNo();
+	}
+
 	public function isInteger(): TrinaryLogic
 	{
 		return TrinaryLogic::createYes();

src/Type/IntersectionType.php

@@ -628,6 +628,11 @@ public function isBoolean(): TrinaryLogic
 		return $this->intersectResults(static fn (Type $type): TrinaryLogic => $type->isBoolean());
 	}
 
+	public function isFloat(): TrinaryLogic
+	{
+		return $this->intersectResults(static fn (Type $type): TrinaryLogic => $type->isFloat());
+	}
+
 	public function isInteger(): TrinaryLogic
 	{
 		return $this->intersectResults(static fn (Type $type): TrinaryLogic => $type->isInteger());

src/Type/IterableType.php

@@ -275,6 +275,11 @@ public function isBoolean(): TrinaryLogic
 		return TrinaryLogic::createNo();
 	}
 
+	public function isFloat(): TrinaryLogic
+	{
+		return TrinaryLogic::createNo();
+	}
+
 	public function isInteger(): TrinaryLogic
 	{
 		return TrinaryLogic::createNo();

src/Type/JustNullableTypeTrait.php

@@ -67,6 +67,11 @@ public function isBoolean(): TrinaryLogic
 		return TrinaryLogic::createNo();
 	}
 
+	public function isFloat(): TrinaryLogic
+	{
+		return TrinaryLogic::createNo();
+	}
+
 	public function isInteger(): TrinaryLogic
 	{
 		return TrinaryLogic::createNo();

src/Type/MixedType.php

@@ -635,6 +635,17 @@ public function isBoolean(): TrinaryLogic
 		return TrinaryLogic::createMaybe();
 	}
 
+	public function isFloat(): TrinaryLogic
+	{
+		if ($this->subtractedType !== null) {
+			if ($this->subtractedType->isSuperTypeOf(new FloatType())->yes()) {
+				return TrinaryLogic::createNo();
+			}
+		}
+
+		return TrinaryLogic::createMaybe();
+	}
+
 	public function isInteger(): TrinaryLogic
 	{
 		if ($this->subtractedType !== null) {

src/Type/NeverType.php

@@ -348,6 +348,11 @@ public function isBoolean(): TrinaryLogic
 		return TrinaryLogic::createNo();
 	}
 
+	public function isFloat(): TrinaryLogic
+	{
+		return TrinaryLogic::createNo();
+	}
+
 	public function isInteger(): TrinaryLogic
 	{
 		return TrinaryLogic::createNo();

src/Type/NullType.php

@@ -192,6 +192,11 @@ public function isBoolean(): TrinaryLogic
 		return TrinaryLogic::createNo();
 	}
 
+	public function isFloat(): TrinaryLogic
+	{
+		return TrinaryLogic::createNo();
+	}
+
 	public function isInteger(): TrinaryLogic
 	{
 		return TrinaryLogic::createNo();

src/Type/ObjectType.php

@@ -848,6 +848,11 @@ public function isBoolean(): TrinaryLogic
 		return TrinaryLogic::createNo();
 	}
 
+	public function isFloat(): TrinaryLogic
+	{
+		return TrinaryLogic::createNo();
+	}
+
 	public function isInteger(): TrinaryLogic
 	{
 		return TrinaryLogic::createNo();

src/Type/Php/FilterVarDynamicReturnTypeExtension.php

@@ -207,7 +207,7 @@ private function determineExactType(Type $in, int $filterValue, Type $defaultTyp
 	{
 		if (($filterValue === $this->getConstant('FILTER_VALIDATE_BOOLEAN') && $in->isBoolean()->yes())
 			|| ($filterValue === $this->getConstant('FILTER_VALIDATE_INT') && $in->isInteger()->yes())
-			|| ($filterValue === $this->getConstant('FILTER_VALIDATE_FLOAT') && $in instanceof FloatType)) {
+			|| ($filterValue === $this->getConstant('FILTER_VALIDATE_FLOAT') && $in->isFloat()->yes())) {
 			return $in;
 		}
 

src/Type/StaticType.php

@@ -441,6 +441,11 @@ public function isBoolean(): TrinaryLogic
 		return $this->getStaticObjectType()->isBoolean();
 	}
 
+	public function isFloat(): TrinaryLogic
+	{
+		return $this->getStaticObjectType()->isFloat();
+	}
+
 	public function isInteger(): TrinaryLogic
 	{
 		return $this->getStaticObjectType()->isInteger();

src/Type/StrictMixedType.php

@@ -167,6 +167,11 @@ public function isBoolean(): TrinaryLogic
 		return TrinaryLogic::createNo();
 	}
 
+	public function isFloat(): TrinaryLogic
+	{
+		return TrinaryLogic::createNo();
+	}
+
 	public function isInteger(): TrinaryLogic
 	{
 		return TrinaryLogic::createNo();

src/Type/StringType.php

@@ -159,6 +159,11 @@ public function isBoolean(): TrinaryLogic
 		return TrinaryLogic::createNo();
 	}
 
+	public function isFloat(): TrinaryLogic
+	{
+		return TrinaryLogic::createNo();
+	}
+
 	public function isInteger(): TrinaryLogic
 	{
 		return TrinaryLogic::createNo();

src/Type/Traits/LateResolvableTypeTrait.php

@@ -325,6 +325,11 @@ public function isBoolean(): TrinaryLogic
 		return $this->resolve()->isBoolean();
 	}
 
+	public function isFloat(): TrinaryLogic
+	{
+		return $this->resolve()->isFloat();
+	}
+
 	public function isInteger(): TrinaryLogic
 	{
 		return $this->resolve()->isInteger();

src/Type/Traits/ObjectTypeTrait.php

@@ -116,6 +116,11 @@ public function isBoolean(): TrinaryLogic
 		return TrinaryLogic::createNo();
 	}
 
+	public function isFloat(): TrinaryLogic
+	{
+		return TrinaryLogic::createNo();
+	}
+
 	public function isInteger(): TrinaryLogic
 	{
 		return TrinaryLogic::createNo();

src/Type/Type.php

@@ -147,6 +147,8 @@ public function isFalse(): TrinaryLogic;
 
 	public function isBoolean(): TrinaryLogic;
 
+	public function isFloat(): TrinaryLogic;
+
 	public function isInteger(): TrinaryLogic;
 
 	public function isString(): TrinaryLogic;

src/Type/UnionType.php

@@ -640,6 +640,11 @@ public function isBoolean(): TrinaryLogic
 		return $this->notBenevolentUnionResults(static fn (Type $type): TrinaryLogic => $type->isBoolean());
 	}
 
+	public function isFloat(): TrinaryLogic
+	{
+		return $this->notBenevolentUnionResults(static fn (Type $type): TrinaryLogic => $type->isFloat());
+	}
+
 	public function isInteger(): TrinaryLogic
 	{
 		return $this->notBenevolentUnionResults(static fn (Type $type): TrinaryLogic => $type->isInteger());

src/Type/VoidType.php

@@ -119,6 +119,11 @@ public function isBoolean(): TrinaryLogic
 		return TrinaryLogic::createNo();
 	}
 
+	public function isFloat(): TrinaryLogic
+	{
+		return TrinaryLogic::createNo();
+	}
+
 	public function isInteger(): TrinaryLogic
 	{
 		return TrinaryLogic::createNo();