組み込み系のスレって無いのかな？

OSが Nucleus Plus で MULTI を使って開発してんですが、
printf系の関数で %f の編集がうまく行かないのです。

<Sample Code>
double a = 123.456;
char buf[256];
sprintf( buf, "%f", a);

このコードで編集された結果が
0.00000
みたいになります。

組み込みってあんま詳しくないんだけど、
仕様なんですかね？
整数と文字列は正しく編集されるんですが。