From 377cc5a30a7611abcd3c255146c97746efc9ebb5 Mon Sep 17 00:00:00 2001
From: Erik Osheim <erik@netflix.com>
Date: Tue, 10 Sep 2024 10:49:22 -0400
Subject: [PATCH] document numerical values

---
 test-fix32.tal | 36 ++++++++++++++++++------------------
 1 file changed, 18 insertions(+), 18 deletions(-)

diff --git a/test-fix32.tal b/test-fix32.tal
index e26991b..222d465 100644
--- a/test-fix32.tal
+++ b/test-fix32.tal
@@ -6,15 +6,15 @@
 
 ( program )
 |0100
-    #00 x32-from-u8 x32-emit #0a18 DEO
-    #01 x32-from-u8 x32-emit #0a18 DEO
-    #0a x32-from-u8 x32-emit #0a18 DEO
-    #ff x32-from-u8 x32-emit #0a18 DEO
-    #0100 x32-from-u16 x32-emit #0a18 DEO
-    #1000 x32-from-u16 x32-emit #0a18 DEO
-    #7fff x32-from-u16 x32-emit #0a18 DEO
-    #8000 x32-from-u16 x32-emit #0a18 DEO
-    #ffff x32-from-u16 x32-emit #0a18 DEO
+    #00 x32-from-u8 x32-emit #0a18 DEO ( 0.0 )
+    #01 x32-from-u8 x32-emit #0a18 DEO ( 1.0 )
+    #0a x32-from-u8 x32-emit #0a18 DEO ( 10.0 )
+    #ff x32-from-u8 x32-emit #0a18 DEO ( 255.0 )
+    #0100 x32-from-u16 x32-emit #0a18 DEO ( 256.0 )
+    #1000 x32-from-u16 x32-emit #0a18 DEO ( 4096.0 )
+    #7fff x32-from-u16 x32-emit #0a18 DEO ( 32767.0 )
+    #8000 x32-from-u16 x32-emit #0a18 DEO ( 32768.0 )
+    #ffff x32-from-u16 x32-emit #0a18 DEO ( 65535.0 )
     #0a18 DEO
     #0000 #03e8 #0000 #07d0 LIT "+ ;x32-add #0000 #0bb8 test-binop ( 1 + 2 = 3 )
     #ffff #fc18 #ffff #fc18 LIT "+ ;x32-add #ffff #f830 test-binop ( -1 + -1 = -2 )
@@ -48,15 +48,15 @@
     #ffff #fff9 #0000 #07d0 LIT "/ ;x32-div #ffff #fffc test-binop ( -0.007 / 2 = -0.004 )
     #ffff #fff7 #0000 #07d0 LIT "/ ;x32-div #ffff #fffc test-binop ( -0.009 / 2 = -0.004 )
     #0a18 DEO
-    #0000 #0001 x32-emit #0a18 DEO
-    #0000 #03e8 x32-emit #0a18 DEO
-    #0001 #0000 x32-emit #0a18 DEO
-    #0001 #e078 x32-emit #0a18 DEO
-    #0123 #4567 x32-emit #0a18 DEO
-    #7fff #ffff x32-emit #0a18 DEO
-    #8000 #0001 x32-emit #0a18 DEO
-    #ffff #fc18 x32-emit #0a18 DEO
-    #ffff #ffff x32-emit #0a18 DEO
+    #0000 #0001 x32-emit #0a18 DEO (        0.001 )
+    #0000 #03e8 x32-emit #0a18 DEO (        1.000 )
+    #0001 #0000 x32-emit #0a18 DEO (       65.536 )
+    #0001 #e078 x32-emit #0a18 DEO (      123.000 )
+    #0123 #4567 x32-emit #0a18 DEO (    19088.743 )
+    #7fff #ffff x32-emit #0a18 DEO (  2147483.647 )
+    #8000 #0001 x32-emit #0a18 DEO ( -2147483.647 )
+    #ffff #fc18 x32-emit #0a18 DEO (       -1.000 )
+    #ffff #ffff x32-emit #0a18 DEO (       -0.001 )
     #800f DEO BRK
 
 ~fix32.tal