Constant CONFIG_COMPILER_FLOAT_LIB_FROM_GCCLIB 

pub const CONFIG_COMPILER_FLOAT_LIB_FROM_GCCLIB: u32 = 1;