Of course, we have to use 1.0. The reason is that your definition of s is a real number. If 1 is used later, the expression 1/2*(a+b+c) cannot guarantee that the result is true. Moreover, division/you mean real division, so it must be clearly pointed out that this is a real number. For these two reasons, we should use 1.0.