Fix exporting ConstantFloatType

src/Type/Constant/ConstantFloatType.php

@@ -16,6 +16,8 @@
 use PHPStan\Type\VerbosityLevel;
 use function abs;
 use function is_finite;
+use function rtrim;
+use function sprintf;
 use function strpos;
 use const PHP_FLOAT_EPSILON;
 
@@ -108,7 +110,7 @@ public function generalize(GeneralizePrecision $precision): Type
 	 */
 	public function toPhpDocNode(): TypeNode
 	{
-		return new ConstTypeNode(new ConstExprFloatNode((string) $this->value));
+		return new ConstTypeNode(new ConstExprFloatNode(rtrim(sprintf('%.20f', $this->value), '0.')));
 	}
 
 	/**

tests/PHPStan/Type/TypeToPhpDocNodeTest.php

@@ -277,6 +277,21 @@ public function dataToPhpDocNodeWithoutCheckingEquals(): iterable
 			new ConstantStringType("foo\nbar\nbaz"),
 			'(literal-string & non-falsy-string)',
 		];
+
+		yield [
+			new ConstantFloatType(9223372036854775807),
+			'9223372036854775808',
+		];
+
+		yield [
+			new ConstantFloatType(-9223372036854775808),
+			'-9223372036854775808',
+		];
+
+		yield [
+			new ConstantFloatType(2.35),
+			'2.35000000000000008882',
+		];
 	}
 
 	/**
@@ -288,6 +303,9 @@ public function testToPhpDocNodeWithoutCheckingEquals(Type $type, string $expect
 
 		$typeString = (string) $phpDocNode;
 		$this->assertSame($expected, $typeString);
+
+		$typeStringResolver = self::getContainer()->getByType(TypeStringResolver::class);
+		$typeStringResolver->resolve($typeString);
 	}
 
 	public function dataFromTypeStringToPhpDocNode(): iterable