How to print float number in RTOS core?

I tried to use printf() and sprintf() functions to print float numbers into console from RTOS core but is was unceccessful - they just print nothing. Is there any way to print float numbers from RTOS core?