More std functions

1 files changed, 16 insertions, 0 deletions

diff --git a/std/Float.bruijn b/std/Float.bruijn
new file mode 100644
index 0000000..d3fce4e
--- /dev/null
+++ b/std/Float.bruijn
@@ -0,0 +1,16 @@
+# MIT License, Copyright (c) 2022 Marvin Borner
+# Arbitrary-precision floating-point arithmetic implementation using
+#   (+3.14) = pair (+3) (+14)
+
+:import std/Combinator .
+:import std/Number .
+:import std/List .
+:import std/Pair P
+
+# generates a float from a normal balanced ternary number
+float! \(P.:) (+0)
+
+# adds two floating numbers
+# TODO: Carry support
+# - needed: mod, div (?) -> ternary carry != decimal carry
+add P.zip-with (+)