Printing float number without standard C library

[michal_dvorak]

Hello,
 does anybody implemented printing of float numbers without standard C library ? (to avoid problems with dynamic memory allocation).

 We have tried to do, started from standard C library function. We have successfuly tested on ARM7 core in 32bit mode (using JTAG debugger), but when we tested on LPC processor in 16bit Thumb mode, it's not give proper results ...

 Does anybody have any suggestion or have already did the same job?

 thank you

 Michal