diff --git a/Changes b/Changes
index 5c51a4e..10bd0c3 100644
--- a/Changes
+++ b/Changes
@@ -18,7 +18,7 @@ Version 0.9.14
 
 - Apple M1 support (#68)
 
-- Fix some corner cases for boxes and polyehdra (#85, #83, #82, #81, #80, #63, #43, #35)
+- Fix some corner cases for boxes and polyhedra (#85, #83, #82, #81, #80, #63, #43, #35)
 
 
 Version 0.9.13
diff --git a/mlapronidl/scalar.idl b/mlapronidl/scalar.idl
index 1a72406..3a945fa 100644
--- a/mlapronidl/scalar.idl
+++ b/mlapronidl/scalar.idl
@@ -157,8 +157,8 @@ let of_int x = Mpqf(Mpqf.of_int x)\n\
 let of_frac x y = Mpqf(Mpqf.of_frac x y)\n\
 let of_float x = Float(x)\n\
 let of_infty s = \n\
-  if s>0 then Float(Stdlib.infinity)\n\
-  else if s<0 then Float(Stdlib.neg_infinity)\n\
+  if s>0 then Float(infinity)\n\
+  else if s<0 then Float(neg_infinity)\n\
   else Float(0.0)\n\
 let is_infty scalar =\n\
   match scalar with\n\
@@ -175,8 +175,8 @@ let is_infty scalar =\n\
 	if Mpfrf.sgn x > 0 then 1 else -1\n\
       else 0\n\
   | Float x ->\n\
-      if x = Stdlib.infinity then 1\n\
-      else if x = Stdlib.neg_infinity then -1\n\
+      if x = infinity then 1\n\
+      else if x = neg_infinity then -1\n\
       else 0\n\
 let sgn scalar =\n\
   match scalar with\n\
@@ -216,7 +216,7 @@ let cmp_int scalar n =\n\
   match scalar with\n\
   | Mpqf x -> Mpqf.cmp_int x n\n\
   | Mpfrf x -> Mpfrf.cmp_int x n\n\
-  | Float x -> Stdlib.compare x (float_of_int n)\n\
+  | Float x -> compare x (float_of_int n)\n\
 let equal_int scalar n =\n\
   match scalar with\n\
   | Mpqf x -> (Mpqf.cmp_int x n)=0\n\