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