On Wed, Jul 29, 2015 at 4:59 PM, Zenna Tavares <zennatava...@gmail.com> wrote:
> As a result of these properties, unums can be closed under arithmetic > operations and won't hide your errors due to approximation. I'm glad to hear this because this was that part that made me question the whole thing. I guess the fact that you can represent some numbers exactly helps a bit, but not very much. The most compelling part of the proposal to me was the claim of associativity, which I suppose comes along with the variable precision since you can actually drop trailing bits that you can't get right.