 -  [@@unboxed] [@@noalloc]
  external tanh : float -> float = "caml_tanh_float" "tanh"
    [@@unboxed] [@@noalloc]
- external ceil : float -> float = "caml_ceil_float" "ceil"
+ external acosh : float -> float = "caml_acosh_float" "caml_acosh"
 diff --git a/stdlib/float.mli b/stdlib/float.mli
-index 2cdd31608..904f4af0e 100644
+index ba84d9b0e..8132f93f7 100644
 --- a/stdlib/float.mli
 +++ b/stdlib/float.mli
-@@ -196,10 +196,6 @@ external cosh : float -> float = "caml_cosh_float" "cosh"
+@@ -285,10 +285,6 @@ external cosh : float -> float = "caml_cosh_float" "cosh"
  [@@unboxed] [@@noalloc]
  (** Hyperbolic cosine.  Argument is in radians. *)
  

 {
   return caml_copy_double(cos(Double_val(f)));
diff --git a/stdlib/float.ml b/stdlib/float.ml
index 8d9c5cca6..3b3ca61bc 100644
--- a/stdlib/float.ml
+++ b/stdlib/float.ml
@@ -69,8 +69,6 @@ external hypot : float -> float -> float
                = "caml_hypot_float" "caml_hypot" [@@unboxed] [@@noalloc]
 external cosh : float -> float = "caml_cosh_float" "cosh"
   [@@unboxed] [@@noalloc]

   [@@unboxed] [@@noalloc]
 external ceil : float -> float = "caml_ceil_float" "ceil"
diff --git a/stdlib/stdlib.ml b/stdlib/stdlib.ml
index aac8fcc17..663ce44f2 100644
--- a/stdlib/stdlib.ml
+++ b/stdlib/stdlib.ml
@@ -146,8 +146,6 @@ external log10 : float -> float = "caml_log10_float" "log10"
 external log1p : float -> float = "caml_log1p_float" "caml_log1p"
   [@@unboxed] [@@noalloc]
 external sin : float -> float = "caml_sin_float" "sin" [@@unboxed] [@@noalloc]
-external sinh : float -> float = "caml_sinh_float" "sinh"
-  [@@unboxed] [@@noalloc]
 external asinh : float -> float = "caml_asinh_float" "caml_asinh"
   [@@unboxed] [@@noalloc]
 external sqrt : float -> float = "caml_sqrt_float" "sqrt"
diff --git a/stdlib/stdlib.mli b/stdlib/stdlib.mli
index e2e898266..2e18f16d3 100644
--- a/stdlib/stdlib.mli
+++ b/stdlib/stdlib.mli
@@ -556,10 +556,6 @@ external cosh : float -> float = "caml_cosh_float" "cosh"
   [@@unboxed] [@@noalloc]
 (** Hyperbolic cosine.  Argument is in radians. *)
 
