Continued work on floating-point benchmark.