pub const FPU_MVFR0_Double_precision_Msk: u32 = 3840;