mod Q

[lizhihao43219]

Hello,
I have a question. In the process of bootstrapping, accumulator of ring-GSW is neended, which is in the R_Q and where

const long int Q = (long int) 1 << 32;
typedef int32_t ZmodQ;
typedef uint32_t uZmodQ;

ZmodQ is actually an int32_t type, so I think module Q operation must be operated. But in the process of homomorphic accumulation, there is no operation of module Q. Can you explain why here? Is it to ensure that all operations do not exceed the scope of Q? How is this guaranteed?