added a few test cases for int overflow regression