--- a/src/devices/wifi/random-stream.cc	Wed Mar 04 11:34:51 2009 +0000
+++ b/src/devices/wifi/random-stream.cc	Wed Mar 04 18:55:32 2009 +0100
@@ -34,7 +34,7 @@
 uint32_t 
 RealRandomStream::GetNext (uint32_t min, uint32_t max)
 {
-  return static_cast<uint32_t> (round (m_stream.GetValue (min, max)));
+  return m_stream.GetInteger (min, max);
 }