Proposal: checked arithmetic operations for `Int` and `Int64`

[Yingjian Qin]

We need some checked operations to prevent overflow when doing arithmetic operations, such as checked_add and checked_sub.