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