[c] C: printf a float value