NUCLEOのKeil Studioで浮動小数点数を出力する方法

Keil StudioでNUCLEOのマイコンを使ってデバッグ用にprintfでdouble型の小数をTeraTermに出力しようとすると、どうしても%fと出力されてしまい小数が出てきません。
小数を整数倍(10000倍など)してint型の別の変数に直せば対応できますが、根本的な対応策ではないので、NUCLEOの浮動小数点数用にライブラリいれるなどが必要なのか、対処法を教示願います。

こんにちは。
こちらをお試し下さい。

Also, if you need ISO C compliant floating point formatting in printf(), add this line into the target overrides block:

"target.printf_lib": "std"

Otherwise, by default, floating point numbers cannot be printed at all.

プロジェクト直下のフォルダにmbed_app.jsonを加えて解決できました。ありがとうございました。
中身は下記です:
{
“target_overrides”: {
“*”: {
“target.printf_lib”: “std”
}
}
}