diff --git a/src/squint/core.js b/src/squint/core.js
index 64918da3..336f8683 100644
--- a/src/squint/core.js
+++ b/src/squint/core.js
@@ -1809,6 +1809,10 @@ export function next(x) {
   }
 }
 
+export function nnext(x) {
+  return next(next(x));
+}
+
 export function compare(x, y) {
   if (x === y) {
     return 0;