Something Charles said made me think this is already being done (at least in the x86 port)? It is. When only one FP-intensive program is running (the `usual' case on an i386), this gives a small performance gain. When most programs are using the FPU, it gives a net performance loss. I'm not sure where the cutoff is.