Saner relop implementation

ECMA-SL/semantics/core/eval_operator.ml

@@ -654,10 +654,25 @@ let eq ((v1, v2) : Val.t * Val.t) : Val.t =
   | (Arr arr1, Arr arr2) -> Bool (arr1 == arr2)
   | _ -> Bool (v1 = v2)
 
-let lt ((v1, v2) : Val.t * Val.t) : Val.t = Bool (v1 < v2)
-let gt ((v1, v2) : Val.t * Val.t) : Val.t = Bool (v1 > v2)
-let le ((v1, v2) : Val.t * Val.t) : Val.t = Bool (v1 <= v2)
-let ge ((v1, v2) : Val.t * Val.t) : Val.t = Bool (v1 >= v2)
+let lt = function
+  | Flt f, Int i -> Bool (f < float i)
+  | Int i, Flt f -> Bool (float i < f)
+  | v1, v2 -> Bool (v1 < v2)
+
+let gt = function
+  | Flt f, Int i -> Bool (f > float i)
+  | Int i, Flt f -> Bool (float i > f)
+  | v1, v2 -> Bool (v1 > v2)
+
+let le = function
+  | Flt f, Int i -> Bool (f <= float i)
+  | Int i, Flt f -> Bool (float i <= f)
+  | v1, v2 -> Bool (v1 <= v2)
+
+let ge = function
+  | Flt f, Int i -> Bool (f >= float i)
+  | Int i, Flt f -> Bool (float i >= f)
+  | v1, v2 -> Bool (v1 >= v2)
 
 let to_precision ((v1, v2) : Val.t * Val.t) : Val.t =
   let op_lbl = label_of_binopt ToPrecision in

ECMA-SL/syntax/share/val.ml

@@ -2,7 +2,7 @@ type t =
   | Null
   | Void
   | Int of int
-  | Flt of float
+  | Flt of (float [@unboxed])
   | Str of string
   | Bool of bool
   | Symbol of string