more robust integer overflow check
Merge branch '21-int-overflow' into 24-new-news
Merge branch '21-int-overflow' into 25
Add stuff on new integer overflow check
Merge branch '24-new-news' into 25
fix typo
Merge branch '24-new-news' into 25
fix typo
Merge branch '24-new-news' into 25