Hello Amine,
Thank you for the information.
Firstly I would like to point out that the TWR-K60D100 does not have an FPU in hardware. I noticed you modified the MK60D10.h file and changed the following value to one:
#define __FPU_PRESENT 1 /**< Defines if an FPU is present or not */
It is crucial that these files are not modified as they represent the core cortex configuration, in this case as I mentioned there is no FPU physically present so this value has to remain 0.
Also I noticed that in your settings you have selected the softABI mode, this is incorrect as this is for operations that are implemented in hardware. You can refer to this article for more information about the floating point variants,
Now in order to change your project to the correct mode, you can select your project and click on PROPERTIES > C/C++ BUILD > SETTINGS


Here you can make sure that the Floating point is set to None in the Architecture for the MCU C Compiler , as well as the Architecture & Headers in MCU Assembler and Architecture in the MCU Linker.
After you have modified your project build and run it again. This will automatically emulate the floating point instructions for you and you should see the correct printed value in your console.
Let me know if this has positive results for you,
Sabina