avm2: Convert float values representable as ints to Value::Integer

core/src/avm2/value.rs

@@ -82,13 +82,18 @@ where
 
 impl From<f64> for Value<'_> {
     fn from(value: f64) -> Self {
-        Value::Number(value)
+        let value_i = value as i32;
+        if value.to_bits() == (value_i as f64).to_bits() {
+            Value::Integer(value_i)
+        } else {
+            Value::Number(value)
+        }
     }
 }
 
 impl From<f32> for Value<'_> {
     fn from(value: f32) -> Self {
-        Value::Number(f64::from(value))
+        f64::from(value).into()
     }
 }
 

tests/tests/swfs/avm2/number_to_float_auto_conversion/Test.as

@@ -0,0 +1,24 @@
+package {
+
+import flash.display.Sprite;
+import avmplus.*;
+
+public class Test extends Sprite {
+    public function Test() {
+        trace(getQualifiedClassName(getV()));
+        trace(getQualifiedClassName(getV() + getV()));
+        trace(getQualifiedClassName(getV() * 2));
+        trace(getQualifiedClassName(getV() * getV()));
+        trace(getQualifiedClassName(getU()));
+    }
+
+    private function getU(): Number {
+        return 1.0;
+    }
+
+    private function getV(): Number {
+        return 1.5;
+    }
+}
+
+}

tests/tests/swfs/avm2/number_to_float_auto_conversion/output.txt

@@ -0,0 +1,5 @@
+Number
+int
+int
+Number
+int

tests/tests/swfs/avm2/number_to_float_auto_conversion/test.toml

@@ -0,0 +1 @@
+num_ticks = 1

tests/tests/swfs/from_avmplus/as3/Types/Number/abs/test.toml

@@ -1,2 +1 @@
 num_ticks = 1
-known_failure = true

tests/tests/swfs/from_avmplus/as3/Types/Number/ceil/test.toml

@@ -1,2 +1 @@
 num_ticks = 1
-known_failure = true

tests/tests/swfs/from_avmplus/as3/Types/Number/floor/test.toml

@@ -1,2 +1 @@
 num_ticks = 1
-known_failure = true

tests/tests/swfs/from_avmplus/as3/Types/Number/round/test.toml

@@ -1,2 +1 @@
 num_ticks = 1
-known_failure = true

tests/tests/swfs/from_avmplus/ecma3/JSON/e15_12_3/test.toml

@@ -1,2 +1 @@
 num_ticks = 1
-known_failure = true