diff --git a/Algebraic_kernel_d/include/CGAL/Algebraic_kernel_d/Real_embeddable_extension.h b/Algebraic_kernel_d/include/CGAL/Algebraic_kernel_d/Real_embeddable_extension.h
index 27c430e95bc..058894567e8 100644
--- a/Algebraic_kernel_d/include/CGAL/Algebraic_kernel_d/Real_embeddable_extension.h
+++ b/Algebraic_kernel_d/include/CGAL/Algebraic_kernel_d/Real_embeddable_extension.h
@@ -21,8 +21,10 @@
 
 #ifdef CGAL_USE_LEDA
 
-#include <LEDA/numbers/digit.h>
+#include <CGAL/leda_integer.h>
+#include <CGAL/leda_bigfloat.h>
 #include <CGAL/leda_bigfloat_interval.h>
+#include <LEDA/numbers/digit.h>
 
 #endif