Begin floating-point benchmarks. Tweak the STL ports.