added addition, overflow and tests for them