Further progress on floating-point benchmark.