FPU mode? That may be easy to fix.