Within scope of IEEE754 standard let's assign single precision variable s to double precision variable d and then assign d to single precision variable s'.
Whether this operation is reversible(lossless) for any value that can be represented in IEEE754, including NaN, infinity, etc.
That is, whether s = s' for any s ?