The [associated RFC](https://github.com/rust-lang/rfcs/blob/master/text/0560-integer-overflow.md) does not mention these two items being in the prelude, and we should probably decide whether or not they should be there.