FPEXC_DEX
fmxr(FPEXC, fpexc & ~(FPEXC_EX|FPEXC_DEX|FPEXC_FP2V|FPEXC_VV|FPEXC_TRAP_MASK));
} else if (!(fpexc & FPEXC_DEX)) {
if (!(fpexc & (FPEXC_EX | FPEXC_DEX))) {
fpexc |= FPEXC_DEX;