From 368cfc21cf468aa57c03b2201cf847a715b78ea6 Mon Sep 17 00:00:00 2001
From: Michiel Borkent <michielborkent@gmail.com>
Date: Sat, 16 Dec 2023 16:50:09 +0100
Subject: [PATCH] Fix #203, nnext

---
 src/squint/core.js | 4 ++++
 1 file changed, 4 insertions(+)

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;