diff --git a/src/util/rational.h b/src/util/rational.h
index 3b5485d59..514726c82 100644
--- a/src/util/rational.h
+++ b/src/util/rational.h
@@ -47,9 +47,8 @@ public:
     rational(rational&&) = default;
 
     explicit rational(int64_t n) { m().set(m_val, n); }
-
     explicit rational(uint64_t n) { m().set(m_val, n); }
-      
+
     rational(int64_t n, int64_t d) { m().set(m_val, n, d); }
     rational(mpq const & q) { m().set(m_val, q); }
     rational(mpq && q) noexcept : m_val(std::move(q)) {}
@@ -290,7 +289,7 @@ public:
         rational r = mod(a,b);
         SASSERT(r.is_nonneg());
         rational r2 = r;
-        r2 *= rational(2ull);
+        r2 *= rational(uint64_t(2));
         if (operator<(b, r2)) {
             r -= b;
         }
@@ -510,11 +509,11 @@ public:
     }
 
     unsigned get_num_bits() const {
-        return get_num_digits(rational(2ull));
+        return get_num_digits(uint64_t(2));
     }
 
     unsigned get_num_decimal() const {
-        return get_num_digits(rational(10ull));
+        return get_num_digits(uint64_t(10));
     }
 
     /**