in ch.6.3, after "Given a rounded value, a, an intruder can compute the following existence intervals for the true value, z" we need:

[violetacln]

$z \in [ 0, b-1 ]$ if $a=0$

$z \in [ a-b+1, a+b-a ]$ if $a \neq 0$