diff --git a/include/cyclone/types.h b/include/cyclone/types.h
index a637a9b1..06cf71ca 100644
--- a/include/cyclone/types.h
+++ b/include/cyclone/types.h
@@ -537,7 +537,7 @@ typedef uint32_t char_type;
  * Convert from an integer to an object.
  */
 //#define obj_int2obj(n) ((void *) ((((long)(n))*(long)(1uL<<1)) | 1))
-#define obj_int2obj(c) ((void *)((((uintptr_t)c)<<1) | 1))
+#define obj_int2obj(c) ((void *)((((long)c)<<1) | 1))
 
 /**
  * Determine if the object is a char.