We *do* need the FPU to compile 64-bit code.