Work on floating-point benchmark. Refine the STL port.