std/Float.bruijn


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

# MIT License, Copyright (c) 2022 Marvin Borner
# Arbitrary-precision floating-point arithmetic implementation using
#   (+3.14) = pair (+3) (+14)

# This is completely WIP and only intended as a proof of concept

:import std/Combinator .
:import std/Number .
:import std/Pair P

pi (+3) : (+14159)

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