I was trying to debug a program I was writing with printf, and realized it was giving me incorrect results when I tried doing printf("%f", 2.0); and it printed 0.000000. This means TI is being lazy and has not provided a full implementation of printf. Some other things I discovered were that the flag %Lf does not work (it just prints Lf), and that sprintf has the same issues. Could any other C developers help look into this and experiment so we can figure out the extent of these limitations?