esp_idf_sys

Constant CONFIG_SOC_CPU_HAS_FPU

Source 
pub const CONFIG_SOC_CPU_HAS_FPU: u32 = 1;