diff --git a/odoo/service/server.py b/odoo/service/server.py
index 52c91b5ed8a..87e9b8ddf42 100644
--- a/odoo/service/server.py
+++ b/odoo/service/server.py
@@ -952,7 +952,7 @@ class Worker(object):
         r = resource.getrusage(resource.RUSAGE_SELF)
         cpu_time = r.ru_utime + r.ru_stime
         soft, hard = resource.getrlimit(resource.RLIMIT_CPU)
-        resource.setrlimit(resource.RLIMIT_CPU, (cpu_time + config['limit_time_cpu'], hard))
+        resource.setrlimit(resource.RLIMIT_CPU, (int(cpu_time + config['limit_time_cpu']), hard))
 
     def process_work(self):
         pass