Accept real numbers as timelimit

With this change, we are able to use real numbers for timelimit.
Merge pull request #2 from mjnaderi/patch-1

Accept real numbers as timelimit