diff --git a/library/init/core.lean b/library/init/core.lean
index a4975b8642..425ad2ec11 100644
--- a/library/init/core.lean
+++ b/library/init/core.lean
@@ -371,7 +371,7 @@ instance : has_one nat := ⟨nat.succ (nat.zero)⟩
 instance : has_add nat := ⟨nat.add⟩
 
 def std.priority.default : nat := 1000
-def std.priority.max     : nat := 4294967295
+def std.priority.max     : nat := 0xFFFFFFFF
 
 namespace nat
   protected def prio := std.priority.default + 100