Кого там диплома лишить? Какой формализм? Если ваш кругозор ограничен, то это ваша проблема. Правильное решение: когда складывается тип double, то результат не может быть типа int. Гуглите что это такое, а потом докажите что это задание не по программированию.