Fix bug in DIV
Update copyrights
More DIV overflow tests