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