diff --git a/polymake.changes b/polymake.changes
index d7bf848..4741299 100644
--- a/polymake.changes
+++ b/polymake.changes
@@ -1,3 +1,6 @@
+-------------------------------------------------------------------
+Sat Nov 19 00:54:38 UTC 2022 - Jan Engelhardt <jengelh@inai.de>
+
 - Update to release 4.7
   * matroid: Ehrhart polynomial for matroid polytopes
   * polytope: convex_hull: adjust labels to improve prefer behavior
@@ -5,6 +8,7 @@
   * polytope: conway: add CG construction
   * topaz: new client poincare_sphere
   * tropical: voronoi_diagram: improve performance
+- Add vertices-31.patch
 
 -------------------------------------------------------------------
 Fri Jan 14 11:48:43 UTC 2022 - Jan Engelhardt <jengelh@inai.de>
diff --git a/vertices-31.patch b/vertices-31.patch
new file mode 100644
index 0000000..6d88820
--- /dev/null
+++ b/vertices-31.patch
@@ -0,0 +1,17 @@
+Resolve a build failure on ILP32.
+
+References: https://gist.github.com/benlorenz/76b0cc37e332943e0129e1e922a1b577
+
+Index: polymake-4.7/apps/topaz/include/grass_plucker.h
+===================================================================
+--- polymake-4.7.orig/apps/topaz/include/grass_plucker.h
++++ polymake-4.7/apps/topaz/include/grass_plucker.h
+@@ -122,7 +122,7 @@ using CubeIndex = NamedType<Int, CubeInd
+   inline constexpr Int max_n_vertices(31); 
+   inline constexpr Int first_cube_index(Int(1) << max_n_vertices);
+ */
+-#define max_n_vertices 31
++#define max_n_vertices ((Int) sizeof(Int)*4-1)
+ #define first_cube_index (CubeIndex(Int(1) << (2*max_n_vertices)))
+ #define MAGIC_VERTEX_MULTIPLE 256
+