DB count_all_results() is not returning an int but a string

[eluser]jpi[/eluser]
Hum I am not sure...

In the file db_active_rec.php line 1074

Code:

if ($query->num_rows() == 0)
{
  return '0';
}

They explictly return a string.

And $query->num_rows() is built with php native function mysql_num_rows (in the mysql driver) which according to php doc returns an integer.