diff --git a/src/cdomains/intDomain.ml b/src/cdomains/intDomain.ml
index 76074dd333..492a0890e0 100644
--- a/src/cdomains/intDomain.ml
+++ b/src/cdomains/intDomain.ml
@@ -407,7 +407,11 @@ struct
   let widen = lift2 I.widen
   let narrow = lift2 I.narrow
 
-  let show x = I.show x.v  (* TODO add ikind to output *)
+  let show x =
+    if I.is_top_of x.ikind x.v then
+      "⊤"
+    else
+      I.show x.v  (* TODO add ikind to output *)
   let pretty () x =
     if I.is_top_of x.ikind x.v then
       Pretty.text "⊤"