--- a/src/core/model/random-variable-stream.cc	Fri Sep 12 12:55:00 2014 -0700
+++ b/src/core/model/random-variable-stream.cc	Fri Sep 12 13:03:06 2014 -0700
@@ -184,7 +184,7 @@
 {
   NS_LOG_FUNCTION (this << min << max);
   NS_ASSERT (min <= max);
-  return static_cast<uint32_t> ( GetValue (min, max + 1) );
+  return static_cast<uint32_t> ( GetValue ((double) (min), (double) (max) + 1.0) );
 }
 
 double