std/Float.bruijn


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

# 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/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 …+…