Lim,
I do not blame printf function, which works fine.
As I pointed out, the difference consists between internal reprezentation of the two real number types.
Of course, you gave a more detailed answer which I admit I didn't know, but because printf function is really expects a double value for...