diff --git a/src/storm/storage/BitVector.cpp b/src/storm/storage/BitVector.cpp
index 5933aac6f..35735a228 100644
--- a/src/storm/storage/BitVector.cpp
+++ b/src/storm/storage/BitVector.cpp
@@ -255,7 +255,7 @@ namespace storm {
         void BitVector::grow(uint_fast64_t minimumLength, bool init) {
             if (minimumLength > bitCount) {
                 // We double the bitcount as long as it is less then the minimum length.
-                uint_fast64_t newLength = std::max(64ull, bitCount);
+                uint_fast64_t newLength = std::max(static_cast<uint_fast64_t>(64), bitCount);
                 // Note that newLength has to be initialized with a non-zero number.
                 while (newLength < minimumLength) {
                     newLength = newLength << 1;