General cleanup and tweaking of floating-point benchmark.