diff --git a/Random_numbers/src/CGAL/Random.cpp b/Random_numbers/src/CGAL/Random.cpp
index 5a1ead8adbe..847ccac901c 100644
--- a/Random_numbers/src/CGAL/Random.cpp
+++ b/Random_numbers/src/CGAL/Random.cpp
@@ -41,7 +41,7 @@ Random( )
     seed = (unsigned int)s;
 
     // initialize random numbers generator
-    rng.seed(seed);
+    rng.seed(static_cast<boost::int32_t>(seed));
     random_value = get_int(0, 1<<15);
 }
 
@@ -50,7 +50,7 @@ Random( unsigned int  seed)
     : val(0), seed(seed)
 {
     // initialize random numbers generator
-    rng.seed(seed);
+    rng.seed(static_cast<boost::int32_t>(seed));
     random_value = get_int(0, 1<<15);
 }