Accept real numbers as timelimit

With this change, we are able to use real numbers for timelimit.