[dev] force clock_speed, nb_cores, core_flops to integer (Bug 12427)

6 jobs for master in 6 minutes and 55 seconds (queued for 2 seconds)