Fix cpu_aidle on Linux

The cpu_aidle value is always at 0.0 on Linux(Ubuntu 12.04).
Integer division should be cast to double.