C programming: Does float always auto-convert to double when multiplying mixed data types?

Question

In Steven Prata\'s book \"C Primer Plus\", there\'s a section on Type Conversions, wherein \"The basic rules are\" section has stated in rule 1:

Under K&R C,         


        

Answer 1

Yes you can rely on C to promote floats to doubles when evaluated.

708 Otherwise, if the corresponding real type of either operand is double, the other operand is converted, without change of type domain, to a type whose corresponding real type is double. 

I'm using the documentation found here.

Sorry, I cited the wrong thing earlier