pub const _FPU_SINGLE: u32 = 0;