Performs bool Overflow = big +(-)= scalar operatrion. Precondition: non-empty coefficients
value to add
true in case of unsigned overflow
See Implementation
Performs bool Overflow = big +(-)= scalar operatrion. Precondition: non-empty coefficients