From 0cb7f0ad998026fa2e50244e768a3fc64c6f27f3 Mon Sep 17 00:00:00 2001
From: crc <>
Date: Wed, 20 Sep 2023 11:54:52 +0000
Subject: [PATCH] add example of unsigned number vocabulary

FossilOrigin-Name: 94de33e961466ffd42bb28a81dfb974b2f8034555de7e99fd2295641316cb36e
---
 example/unsigned.retro | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)
 create mode 100644 example/unsigned.retro

diff --git a/example/unsigned.retro b/example/unsigned.retro
new file mode 100644
index 0000000..065cf5e
--- /dev/null
+++ b/example/unsigned.retro
@@ -0,0 +1,21 @@
+This is a vocabulary for doing some basic operations on unsigned
+numbers.
+
+~~~
+:u:patch (n-n)
+  dup n:negative?
+  [ #2147483647 n:add n:inc swap #-2147483648 n:sub n:add ] if ;
+
+:u:add (nn-n)  n:add u:patch ;
+:u:sub (nn-n)  n:sub u:patch ;
+:u:mul (nn-n)  n:mul u:patch ;
+:u:div (nn-n)
+  dup n:zero? [ drop-pair n:MAX ] [ n:div u:patch ] choose ;
+:u:mod (nn-n)
+  dup n:zero? [ drop-pair n:MAX ] [ n:mod u:patch ] choose ;
+
+:u:eq? (nn-f)   or not ;
+:u:-eq? (nn-f)  u:eq? not ;
+:u:lt? (nn-f)   over or and n:negative? ;
+:u:gt? (nn-f)   tuck or and n:negative? ;
+~~~