Mnozenie: Może zrzutuj największą wartość przyjmowana przez int (możesz użyć <limits> - będzie ładnie ) i liczbę mnozona na float i podziel int_max / tą liczbę. Jeśli liczba przez którą mnozysz dana liczbę jest większa od uzyskanego ilorazu, to będzie overflow.
Dla dodawania / odejmowania wiadomo. Na podobnej zasadzie.