diff --git a/third_party/subzero/src/IceRNG.cpp b/third_party/subzero/src/IceRNG.cpp
index a623f0a..b0d9077 100644
--- a/third_party/subzero/src/IceRNG.cpp
+++ b/third_party/subzero/src/IceRNG.cpp
@@ -50,7 +50,7 @@
 }
 
 bool RandomNumberGeneratorWrapper::getTrueWithProbability(float Probability) {
-  return RNG.next(MAX) < Probability * MAX;
+  return static_cast<float>(RNG.next(MAX)) < Probability * static_cast<float>(MAX);
 }
 
 } // end of namespace Ice