just some overflow test cases (plus and negation)