Constant riot_sys::bindgen::__FPU_PRESENT

pub const __FPU_PRESENT: u32 = 1;