errors while using cmd_help.py with timer option

[highflyer77]

When setting a value with the option plugins.var.python.cmd_help.timer I get the following errors: =!= python: wrong arguments for function "hook_timer" (script: cmd_help) python: stdout/stderr: TypeError: integer argument expected, got float =!= python: error in function "cmd_help_cb"