I don't wish to turn this in to a ' mines better than yours' argument. I've better things to do.
Take it for what it is. Adding and using printf() should not be a difficult task: Include the header, set a buffer length which best suits your expected usage, profit :).
As a side note:
I use the Arduino Due, only, with IDE 1.6.6 (latest for the Due) for little more than 1 month. Neither sprintf nor snprintf (what this printf wraps around) have produced any observable indication that either have been thumbling their parsing of double and float types. ie; printf("%.2f", PI) will generate 3.14, as expected.
From my current project (viewable elsewhere on the forum), free memory stands at 40739 bytes. I can afford 64 of those.