servers: benchmark: properly computing stripes per request now due to floating point bug