Function checked_add 

pub fn checked_add<T: UnsignedPrimInt>(left: T, right: T) -> Option<T>

Add the specified value to the integer, returning None if overflow occurs.