Add `CheckedSum` and `CheckedProduct` traits#251

wainwrightmark wants to merge 2 commits intorust-num:masterrust-num/num-traits:masterfrom

wainwrightmark:masterwainwrightmark/num-traits:masterCopy head branch name to clipboard