4 Standard conversions [conv]

4.7 Floating-point promotion [conv.fpprom]

A prvalue of type float can be converted to a prvalue of type double. The value is unchanged.

This conversion is called floating-point promotion.