Constant __FPU_PRESENT

pub const __FPU_PRESENT: u32 = 1;