Change refresh time parameter from int to float (issue #393)