[yason]

Floating point performance shouldn't be a major bottleneck on Linux except maybe for OpenGL heavy applications. The amount of cryptographic computations doesn't dominate either.

OpenGL in desktop effects doesn't count because it takes a lot more number crunching to rotate a complicated scene graph in a game rather than composite a few layers of window surfaces together to form a desktop screen.

I'm also surprised that using hardfloats with an FPU is only a few dozen percent faster than softfloats with a CPU! Makes me question if an FPU is needed at all in the future. Some FPU usage could be offloaded to the GPU as well, and that's a lot faster than a single FPU after a certain overhead.