Suggestion: The fact that surprised me the most on this example is that formatting an integer as float (printf(“%f”, (int) 1)) printed 0.000000, and not the result of the integer division (5/4 = 1). Of course, the existing discussion is interesting and relevant, but I would, at least, make mention of this fact.