more precise floats

Author: staabm

src/Type/FloatType.php

@@ -146,7 +146,7 @@ public function toArrayKey(): Type
 	public function toCoercedArgumentType(bool $strictTypes): Type
 	{
 		if (!$strictTypes) {
-			return TypeCombinator::union(new IntegerType(), new FloatType(), new StringType(), new BooleanType());
+			return TypeCombinator::union($this->toInteger(), $this, $this->toString(), $this->toBoolean());
 		}
 
 		return $this;

tests/PHPStan/Analyser/nsrt/bug-12393b.php

@@ -268,13 +268,13 @@ class FooFloatString
 	public function doFoo(float $b): void
 	{
 		$this->foo = $b;
-		assertType('string', $this->foo); // could be numeric-string
+		assertType('numeric-string&uppercase-string', $this->foo);
 	}
 
 	public function doBar(): void
 	{
 		$this->foo = 1.0;
-		assertType('string', $this->foo); // could be numeric-string
+		assertType("'1'", $this->foo);
 	}
 }
 
@@ -304,7 +304,7 @@ class FooNumericToString
 	public function doFoo(float|int $b): void
 	{
 		$this->foo = $b;
-		assertType('string', $this->foo); // could be numeric-string
+		assertType('numeric-string&uppercase-string', $this->foo);
 	}
 
 }