diff --git a/skeletons/INTEGER.c b/skeletons/INTEGER.c
index 5b10315..e7a5ba6 100644
--- a/skeletons/INTEGER.c
+++ b/skeletons/INTEGER.c
@@ -396,7 +396,9 @@
 			}
 
 		    {
-			long new_value = value * 10;
+			long volatile new_value = value * 10;
+			/* GCC 4.x optimizes (new_value) without `volatile'
+			 * so the following check does not detect overflow. */
 
 			if(new_value / 10 != value)
 				/* Overflow */