168  Pascal Report  The result type of addition, subtl action and multiplication is Integer if  both operands are Integer, other vise it is Real.  Evaluating a term of the fon  1  i  /  y  is an error if  y  is zero.  Evaluating a term of the for  11  :~  di v  y  is an error if  y  is zero;  otherwise the term yields the va l.1e satisfying the two rules:  Evaluation of a term of the' \)rl11  x  mod  y  is an error if  y  is less  than or equal to zero; otherwise  I 'Iere  is an integer  k  such that  x  mod y  satisfies the following relation:  o <=  x  mod  y  =  x  k  *  Y  <  y.  For any  integer operators,  if  both  operands  are  10  the  range  -Maxint .. Maxint  and if the ( nrrect result is in that range, then a  standard implementation must  y  eld the correct result. However, if the  operands  or  result  is  not  in  the  range  -Maxint .. Maxint,  an  implementation may choose eithl  T to perform the operation correctly or  to treat the operation as an error  Any operator or predeclared function (see Section 11.5) that yields  a real result must always be comidered to be approximate, not exact.  The  accurancy  of real  opera  I  ions  and  predeclared  functions  is  implementation-defined.  8.2.2. Boolean Operators. The Boolean operators are summarized by  the following table.  8.2.3.  Set Operators.  The  ~  -t  operators are summarized by the  following table. The two opera Ids must always possess compatible  types (see Section 6.5). The resll  t  type is packed if both operand types  are packed, and is non-packed if both operand types are non-packed.  Operator  Operation  T\,fJl'  (~lOpl'rands  Type of Result  or  logical "or"  Boolean  Boolean  and  logical "and"  Boolean  Boolean  not  logical "not"  Boolean  Boolean  Operator  Operation  Type of Operands  Type of Result  +  set union  set ofT  set ofT  set difference  set ofT  set ofT  *  set intersection  set ofT  set ofT  (a)  abs(x)-abs(y)  <  ab  I (x  div y)  *  y)  <=  abs(x)  (b)  x  div y  =  0  if  abs  (>  abs (y),  otherwise  x  div y  is positive if  x  and  y  hive the same sign and is negative  if x  and  y  have diffen  111  signs. 