A misconception on my part, apologies. I had somehow conflated the automatic conversion from float to double that occurs in some circumstances to something that

A misconception on my part, apologies. I had somehow conflated the automatic conversion from float to double that occurs in some circumstances to something that occurs in all circumstances. Or perhaps taken a quirk from a 1980s compiler (Turbo C maybe?) to be standard behaviour. Or something like that.