Why does only uptime has a double precision, whereas other times are int (in seconds).