Further progress on floating-point benchmarks.