Hi Carlos:
Just add one information here:
From hardware perspective, floating point setting is in devices/mk64f12/MK64F12.h
#define __FPU_PRESENT 1 /**< Defines if an FPU is present or not */
From IDE perspective, there is a Floating point configuration setting in MCUXpresso Project properties.
Regards
Daniel