added some floating point typecasts to improve printf output for throughput test