As the first measure against #41, I want to add checked_add and checked_sub (and checked_neg, checked_abs) so that we can try CheckedArithmetic.
I think it is better to support checked_mul at the same time as or after the optimization of current multiplication implements. Adding checked_mul implies introducing unchecked mul, i.e. breaking changes.