embedder: Remove Int variant from WebDriverJSValue (#38748)

According to
[spec](https://w3c.github.io/webdriver/#dfn-json-deserialize), we should
only care about
[Number](https://262.ecma-international.org/5.1/#sec-4.3.19) that is
f64.

This change also closes the gap between `JSValue` and `WebDriverJSValue`
and potentially merge into one in the future.

Testing: No regression. However, we have lots of TIMEOUT due to
https://github.com/servo/servo/pull/38622.

Signed-off-by: Euclid Ye <euclid.ye@huawei.com>

components/shared/embedder/lib.rs

@@ -1009,7 +1009,6 @@ impl From<&WebDriverJSValue> for JSValue {
             WebDriverJSValue::Undefined => Self::Undefined,
             WebDriverJSValue::Null => Self::Null,
             WebDriverJSValue::Boolean(value) => Self::Boolean(*value),
-            WebDriverJSValue::Int(value) => Self::Number(*value as f64),
             WebDriverJSValue::Number(value) => Self::Number(*value),
             WebDriverJSValue::String(value) => Self::String(value.clone()),
             WebDriverJSValue::Element(web_element) => Self::Element(web_element.0.clone()),

components/shared/embedder/webdriver.rs

@@ -259,7 +259,6 @@ pub enum WebDriverJSValue {
     Undefined,
     Null,
     Boolean(bool),
-    Int(i32),
     Number(f64),
     String(String),
     Element(WebElement),