diff --git a/src/plugins/eva/ast/evast_builder.ml b/src/plugins/eva/ast/evast_builder.ml
index cce0ba0900ae99df7be13fcd8c8c9ec0427fdf96..e30e1d0d6af4465330dfc90820dca37cc93ac8b1 100644
--- a/src/plugins/eva/ast/evast_builder.ml
+++ b/src/plugins/eva/ast/evast_builder.ml
@@ -131,7 +131,8 @@ let integer ?kind i = (* TODO: mathematical unbounded integer *)
       then Cil_types.IInt
       else Cil.intKindForValue i false
   in
-  mk_exp (Const (CInt64 (i, kind, None)))
+  let i', _truncated = Cil.truncateInteger64 kind i in
+  mk_exp (Const (CInt64 (i', kind, None)))
 
 let int ?kind i =
   integer ?kind (Integer.of_int i)