diff --git a/MEMO b/MEMO
index 6fa8a95c5c13f13dc8d0a566c4b5aa4f89d1d65b..19e54706ddaf37dd845abd595dcee519df7c3280 100644
--- a/MEMO
+++ b/MEMO
@@ -39,8 +39,6 @@ Things to consider
 To-do
 ^^^^^
 
-- Automatically generate testing code vs. sequential.
-
 - Fix all tests
 
 - Deal with equality constraints.
@@ -83,6 +81,8 @@ Future ideas
 Dealt with
 ^^^^^^^^^^
 
+- Automatically generate testing code vs. sequential.
+
 - If isl can prove that all operands are positive, may use '/' instead of
   'floor_div'.
 
diff --git a/loopy/preprocess.py b/loopy/preprocess.py
index 06807c2e101ab946cd9852c756e0dfeb847f07b6..a08c2fb3e75bb09dfc309d70e2d3aa41d01f14f0 100644
--- a/loopy/preprocess.py
+++ b/loopy/preprocess.py
@@ -99,8 +99,10 @@ def realize_reduction(kernel):
         for iname in ilp_inames:
             bounds = kernel.get_iname_bounds(iname)
 
+            from loopy.symbolic import pw_aff_to_expr
             ilp_iname_lengths.append(
-                static_max_of_pw_aff(bounds.size, constants_only=True))
+                    int(pw_aff_to_expr(
+                        static_max_of_pw_aff(bounds.size, constants_only=True))))
 
         # }}}