From efc0aa0c70be87e0818f0aedc89d528ec84669ed Mon Sep 17 00:00:00 2001 From: Jared Hance Date: Mon, 30 Jun 2014 14:25:36 -0400 Subject: [PATCH] More flpt bug fixes --- arvo/hoon.hoon | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/arvo/hoon.hoon b/arvo/hoon.hoon index 88bdef3498..23a5849d3a 100644 --- a/arvo/hoon.hoon +++ b/arvo/hoon.hoon @@ -1360,7 +1360,7 @@ ++ te |% ++ zer |= [b=@u p=@u n=[s=? e=@s a=@u]] - &(=(e.n (dec (^mul b 2))) =(0 (ira a.n))) + =(e.n (dec (^mul b 2))) ++ nan |= [b=@u n=[s=? e=@s a=@u]] &(=(e.n (^mul 2 +(b))) !=(0 (ira a.n))) @@ -1427,7 +1427,7 @@ ?: ?=(^ g) u.g ?: |((zer:te:fl b p n) (zer:te:fl b p m)) - (add b p n m) :: why not + (add b p n m(s !s.m)) :: why not ?: &(!s.n s.m) :: -a-b (add b p n [s=%.n e.m a.m]) :: add handles negative case ?: &(s.n !s.m) :: a+b @@ -1513,7 +1513,7 @@ (hol:fl 52 (sea a)) :: Convert to sign/exp/ari form ++ sea |= a=@rd ^- [s=? e=@s a=@u] - [s=(sig a) e=(exp a) a=(ari:fl 52 (end 0 52 a))] + (pro:te:fl 1.023 52 [s=(sig a) e=(exp a) a=(ari:fl 52 (end 0 52 a))]) ++ err |= a=@rd ^- (unit tape) (err:te:fl 1.023 52 (sea a))