When the compile option is -B 64 the expected output is incorrect

[HopeDevote]

Hello,
I found that when the compile option is -B 64, the expected output is incorrect.

Relpay

test.mpc

sfix.set_precision(32, 63)
a = sint(1)
b = sint(9)
c = sint(3)

a.update(c)
d = b > sfix(8)
b.update(d)


total = a + b + c
print_ln('total: %s', total.reveal())

1. ./compile.py -B 64 test
2. ./Scripts/decompile.py test
   The output result is 6, not the expected output result 7

Using statistical security parameter 40
total: 6
Significant amount of unused triples of Tinier distorting the benchmark. This protocol has a large minimum batch size, which makes this unavoidable for small programs.
The following benchmarks are including preprocessing (offline phase).
Time = 0.0515385 seconds
Data sent = 1.47138 MB in ~111 rounds (party 0 only; use '-v' for more details)
Global data sent = 2.94276 MB (all parties)

What is the cause of this? Isn't sfix setting precision enough?