[Optimizer] Change the timeout type from int to double

[xumingkuan]

So that we can set timeout values that are not multiples of 1s.

Also removes an incorrect // namespace quartz comment.