diff --git a/loopy/symbolic.py b/loopy/symbolic.py
index 383d84a35..ad502e1a5 100644
--- a/loopy/symbolic.py
+++ b/loopy/symbolic.py
@@ -205,7 +205,9 @@ def map_resolved_function(self, expr, *args, **kwargs):
 
 
 class FlattenMapper(FlattenMapperBase, IdentityMapperMixin):
-    pass
+    # FIXME: Lies! This needs to be made precise.
+    def is_expr_integer_valued(self, expr: ExpressionT) -> bool:
+        return True
 
 
 def flatten(expr: ArithmeticOrExpressionT) -> ArithmeticOrExpressionT: