check overflow in add checked