Improve diagnsotic further on integer overflow.