How to print more than 4 digits after the decimal point when printing a float value using System_printf() ?

Hi,

I am working on a SYS/BIOS project which needs to print float values to the console.

I figured out that the following statement has to be a part of the application .cfg file to enable the System_printf() to support printing of float values.

System.extendedFormats = "%f";

But the System_printf() only prints 4 digits after the decimal point for the float values. I also used a precision specifier like "%0.6f" in the format string of the System_printf(). That doesn't seem to work either.

Please let me know what more to be done to make the function print more than 4 digits after the decimal point.