I'am using the SDK 2.0 for the K64 and i found a problem that printing a negative float in [0 , -1[ with the format %f is wrong in the PRINTF function.
float test_printf = -0.25 ;
PRINTF(" negative float : %f ",test_printf );
this will print -1.25 !
So, using the format %.3f solved the problem.