diff --git a/src/lib/frontend/typechecker.ml b/src/lib/frontend/typechecker.ml
index e4ef4f0f91..4224fc8c13 100644
--- a/src/lib/frontend/typechecker.ml
+++ b/src/lib/frontend/typechecker.ml
@@ -323,7 +323,7 @@ module Env = struct
       TTapp (Symbols.Op Float, [prec; exp; mode; x])
     in
     let nte = Fpa_rounding.string_of_rounding_mode NearestTiesToEven in
-    let tname = Fpa_rounding.fpa_rounding_mode_type_name in
+    let tname = Fpa_rounding.fpa_rounding_mode_ae_type_name in
     let float32 = float (int "24") (int "149") in
     let float32d = float32 (mode (Uid.of_string nte)) in
     let float64 = float (int "53") (int "1074") in
diff --git a/src/lib/structures/uid.ml b/src/lib/structures/uid.ml
index 1b5d87e294..496abc01d5 100644
--- a/src/lib/structures/uid.ml
+++ b/src/lib/structures/uid.ml
@@ -73,15 +73,13 @@ let equal u1 u2 =
   match u1, u2 with
   | Fake hs1, Fake hs2 -> Hstring.equal hs1 hs2
   | Unique { index = i1; _ }, Unique { index = i2; _ }-> i1 = i2
-  | _ ->
-    Fmt.failwith "%a and %a" pp u1 pp u2
+  | _ -> false
 
 let compare u1 u2 =
   match u1, u2 with
   | Fake hs1, Fake hs2 -> Hstring.compare hs1 hs2
   | Unique { index = i1; _ }, Unique { index = i2; _ } -> i1 - i2
-  | _ ->
-    Fmt.failwith "%a and %a" pp u1 pp u2
+  | _ -> -1
 
 let rec list_assoc x = function
   | [] -> raise Not_found