pub const _FPU_DOUBLE: u32 = 512;