[SunOS], [AIX] don't compute boot_time() and per-CPU times as a C float (#3018)

boot_time() and cpu_times() per-CPU values on SunOS, were computed as a
C `float` and lost precision. They are now ``double``.