Performs bool overflow = big +(-)= big operatrion.
value to add with non-empty coefficients
(overflow) initial iteration overflow Precondition: non-empty coefficients length of greater or equal to the rhs coefficients length.
true in case of unsigned overflow
See Implementation
Performs bool overflow = big +(-)= big operatrion.