added ability to detect wraparound doing addition
made sure all constructors initialize the [un]signedWrapHappened flags
made sure all constructors initialize the [un]signedWrapHappened flags