printf fail to print float type

[STM32L09]

Software tool: IAR Workbench 9.60

#include <stdio.h>
#include <math.h>
#include <stdlib.h>
#include <string.h>
#include <intrinsics.h>

int putchar( int ch ){  

  while(!(USART2->ISR&0X0080));   

USART2->TDR  = (unsigned char)ch;

return ch;

}

test code:

printf("%d\n",ADC_array[0]);
printf("%f\n",1.234567);

Output on computer:

62615       ----correct
%f             ----incorrect(should output 1.234567)

[Tesla DeLorean]

Perhaps need to check box full scanf/printf libraries supporting floating point.

Likely quite large so not enabled by default.

[AScha.3 · Accepted solution]

check : project->properties->settings : use float with printf...

[STM32L09]

thank you, I found it in this window:

the default is Small, I change it to Full, now it works, I have float printed.

63445
1.234567

by the way, will this configuration increase the hex fill? should I change it back to Small after debugging? so I can save the flash size.