Update MixedType.php

Author: staabm

src/Type/MixedType.php

@@ -506,7 +506,7 @@ public function toInteger(): Type
 			new ConstantIntegerType(0),
 			new ConstantArrayType([], []),
 			new StringType(),
-			new FloatType(),
+			new FloatType(), // every 0.x float casts to int(0)
 		]);
 		if (
 			$this->subtractedType !== null