floating-point number handling bug in cron

[ayunyan]

error of a floating-point is not taken into consideration in cron.
this floating-point values is used for comparison in crontab.php:70. therefore, cron does not work in specific environment
I think that should round the floating-point value.

How-To-Repeat

// Code

$run_time = microtime(true) + 600;
$result = DB::get_row('SELECT ? AS cron_running;', array($run_time));
var_dump($result->cron_running);
var_dump($run_time);

// Result

string(17) "1219916606.496059"
float(1219916606.4961)

[MattRead]

fixed in r2394