Fix for latest Rust

`CheckedAdd` was removed in latest nightly. Instead, the `Int` trait includes the `.checked_add()` method.