Can't print floating point number - tiva 123 launchpad board

When I try to print a floating point number I get message "ERROR". Why?

Here is a simple piece of my code:

float MyFloat = 3.85;
UARTprintf("\n%f\n",MyFloat);

And the output message on the screen is "ERROR". 

I tried to cast MyFloat, but didn't work either.

Thanks in advance!