Yesterday I committed a bunch of floating-point stuff, so if you have a floating-point app (SETI?) which was failing before, grab a new set of kernel sources and give it a try. -P