fixed printing

bristolcrypto · Sep 11, 2017 · 3ee4e9e · 3ee4e9e
1 parent d0d3572
commit 3ee4e9e
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/Compiler/library.py b/Compiler/library.py
@@ -83,12 +83,12 @@ def print_plain_str(ss):
                 # number is encoded as [left].[right]
                 left = val.v
                 sign = -1 * (val.v < 0) + 1 * (val.v >= 0)
-                positive_left = sign * left
+                positive_left = cint(sign) * left
                 right = positive_left % 2**val.f
                 @if_(sign == -1)
                 def block():
                     print_str('-')
-                cint((positive_left - right + 1) / 2**val.f).print_reg_plain()
+                cint((positive_left - right + 1) >> val.f).print_reg_plain()
                 x = 0
                 max_dec_base = 6 # max 32-bit precision
                 last_nonzero = 0