请教如何解决FPGA NIOS 浮点printf无法使用的问题

比如：
printf("%dn",1875);
printf("%fn",3.1414);

结果在打印窗口上只有打印
1875

浮点数3.1414就是显示不出来。

这样写：sprintf(str,"%f",3.1415);printf("%fn",str);似乎也不行。